Package de.rwth.i2.attestor.semantics

This package defines the translation process from Java bytecode to an executable (abstract) semantics.

See: Description

Interface Summary

Interface	Description
ProgramParser	ProgramParsers specify how a source code file is translated into a Program that can be analyzed.

Class Summary

Class	Description
AggressiveTerminalStatement
TerminalStatement	Terminal Statements are used to model the exit point of a method.

Package de.rwth.i2.attestor.semantics Description

This package defines the translation process from Java bytecode to an executable (abstract) semantics.

ProgramImpl source code is translated into a ProgramImpl by implementations of ProgramParser.

Author:

Hannah Arndt, Christoph