Package 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.

See: Description

Class Summary

Class	Description
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.
SootInitializer	Takes care of the necessary soot initialisations for parsing.

Package de.rwth.i2.attestor.semantics.jimpleSemantics Description

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.
Classes that deal with the translation process are in sub-package translation
Classes that deal with the semantics are in the sub-package jimple
ProgramState specifies the functionality a heap has to have such that the our semantics is applicable to it.
The JimpleParser starts the translation of JavaByteCode via Jimple to our semantics.

Author:

Hannah Arndt

See Also:

wikipedia , original thesis p.24-25