Package de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements

This package containsSubsumingState the semantics of jimple statements on jimpleExecutables.

See: Description

Class Summary

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

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

This package containsSubsumingState the semantics of jimple statements on jimpleExecutables. They all implement the interface Statement.
Classes used to handle invokes can be found in the sub-package invoke

Author:

Hannah Arndt