ScEpTIC.AST.transformations.virtual_memory.normalizations package

Subpackages

• ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints package
  • Submodules
  • ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.conditionals module
  • ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.loops module
  • Module contents

Submodules

ScEpTIC.AST.transformations.virtual_memory.normalizations.labels_normalizer module

class ScEpTIC.AST.transformations.virtual_memory.normalizations.labels_normalizer.LabelsNormalizer

Bases: object

Normalizes all the labels s.t. they are unique

LABELS_DISTANCE = 20

static normalize_labels(basic_blocks)

Normalizes all the labels in the given sequence of basic blocks The method returns a dictionary {label:basic_block}

Module contents