Uses of Class
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.Statement

Packages that use Statement

Package	Description
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements	This package containsSubsumingState the semantics of jimple statements on jimpleExecutables.
de.rwth.i2.attestor.semantics.jimpleSemantics.translation	The classes in this package handle the translation of Jimple elements such as Statements, Values and Types to semantics objects of our symbolic execution.

Uses of Statement in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements

Subclasses of Statement in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements

Modifier and Type	Class and Description
class	AssignInvoke AssignInvoke models statements of the form x = foo(); or x = bar(3, name);
class	AssignStmt AssignStmts model assignments of locals or fields to values e.g.
class	BranchingSkip Branching Skip has no effect on the heap and two successors.
class	GotoStmt GotoStmt models the statement goto pc
class	IdentityStmt IdentityStmt models statements like x = @this or x = @param_1
class	IfStmt IfStmt models statements like if condition goto pc
class	InvokeStmt InvokeStmt models statements like foo(); or bar(1,2);
class	ReturnValueStmt ReturnValue models statements like return x;
class	ReturnVoidStmt ReturnVoidStmt models the statement return;
class	Skip Skip models Statements which we do not translate and who have a single successor

Uses of Statement in de.rwth.i2.attestor.semantics.jimpleSemantics.translation

Methods in de.rwth.i2.attestor.semantics.jimpleSemantics.translation that return Statement

Modifier and Type	Method and Description
Statement	JimpleToAbstractSemantics.translateStatement(soot.jimple.Stmt input, int pc) Translates Jimple statements to instances of Statement.
Statement	DefaultAbstractSemantics.translateStatement(soot.jimple.Stmt input, int pc) Translates all input statements to Skip or BranchingSkip if the input statement has multiple successors.
Statement	StandardAbstractSemantics.translateStatement(soot.jimple.Stmt input, int pc) soot.jimple.AssignStmt translates to AssignStmt or AssignInvoke soot.jimple.IfStmt translates to IfStmt soot.jimple.GotoStmt translates to GotoStmt soot.jimple.IdentityStmt translates to IdentityStmt soot.jimple.ReturnStmt translates to ReturnValueStmt soot.jimple.ReturnVoidStmt translates to ReturnVoidStmt soot.jimple.InvokeStmt translates to InvokeStmt Everything else is delegated to StandardAbstractSemantics.nextLevel
Statement	TopLevelTranslation.translateStatement(soot.jimple.Stmt input, int pc)