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
    • CheckpointConditionalNormalizer
      • CheckpointConditionalNormalizer.normalize()
  • ScEpTIC.AST.transformations.virtual_memory.normalizations.checkpoints.loops module
    • CheckpointLoopNormalizer
      • CheckpointLoopNormalizer.normalize()
  • 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