de.rwth.i2.attestor.semantics.jimpleSemantics.translation

Interfaces

• JimpleToAbstractSemantics

Classes

• DefaultAbstractSemantics
• StandardAbstractSemantics
• TarjanAlgorithm
• TopLevelTranslation