Uses of Interface
de.rwth.i2.attestor.semantics.ProgramParser

Packages that use ProgramParser

Package	Description
de.rwth.i2.attestor.semantics.jimpleSemantics	This package containsSubsumingState all classes which deal with the translation of Jimple elements, such as statements, values and types to semantics objects used within attestor.

Uses of ProgramParser in de.rwth.i2.attestor.semantics.jimpleSemantics

Classes in de.rwth.i2.attestor.semantics.jimpleSemantics that implement ProgramParser

Modifier and Type	Class and Description
class	JimpleParser A parser that takes a source code file and transforms it first into the Jimple intermediate language and then into our own semantics; that is it constructs a Program.