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

Class AssignInvoke

java.lang.Object

de.rwth.i2.attestor.main.scene.SceneObject

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

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

All Implemented Interfaces:

InvokeCleanup, SemanticsCommand

public class AssignInvoke
extends Statement
implements InvokeCleanup

AssignInvoke models statements of the form x = foo(); or x = bar(3, name);

Author:

Hannah Arndt

Constructor Summary

Constructors

Constructor and Description
AssignInvoke(SceneObject sceneObject, SettableValue lhs, Method method, InvokeHelper invokePrepare, int nextPC)

Method Summary

Modifier and Type	Method and Description
Collection<ProgramState>	computeSuccessors(ProgramState programState) gets the fixpoint of the abstract method for the given input.
ProgramState	getCleanedResultState(ProgramState state)
protected Collection<ProgramState>	getCleanedResultStates(Collection<ProgramState> resultStates)
ViolationPoints	getPotentialViolationPoints()
Set<Integer>	getSuccessorPCs()
boolean	needsCanonicalization()
boolean	needsMaterialization(ProgramState programState)
String	toString()

Methods inherited from class de.rwth.i2.attestor.main.scene.SceneObject

scene

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AssignInvoke

public AssignInvoke(SceneObject sceneObject,
                    SettableValue lhs,
                    Method method,
                    InvokeHelper invokePrepare,
                    int nextPC)

Method Detail

computeSuccessors

public Collection<ProgramState> computeSuccessors(ProgramState programState)

gets the fixpoint of the abstract method for the given input. For each of the resulting heaps, retrieves the return argument and creates a new heap where it is assigned correctly. If a result is lacking a return, it is ignored.

If any variable appearing in the arguments is not live at this point, it will be removed from the heap to enable abstraction. Furthermore, if lhs is a variable it will be removed before invoking the function, as it is clearly not live at this point.

Specified by:

computeSuccessors in interface SemanticsCommand

Parameters:

programState - The state on which the abstract program semantics shall be executed.

Returns:

All states resulting from executing the program semantics on programState.

getCleanedResultStates

protected Collection<ProgramState> getCleanedResultStates(Collection<ProgramState> resultStates)

getCleanedResultState

public ProgramState getCleanedResultState(ProgramState state)

Specified by:

getCleanedResultState in interface InvokeCleanup

needsMaterialization

public boolean needsMaterialization(ProgramState programState)

toString

public String toString()

Overrides:

toString in class Object

getPotentialViolationPoints

public ViolationPoints getPotentialViolationPoints()

Specified by:

getPotentialViolationPoints in interface SemanticsCommand

Returns:

All potential violation points that may prevent execution of this statement.

getSuccessorPCs

public Set<Integer> getSuccessorPCs()

Specified by:

getSuccessorPCs in interface SemanticsCommand

Returns:

The set of all program locations that are direct successors of this program statement in the underlying control flow graph.

needsCanonicalization

public boolean needsCanonicalization()

Specified by:

needsCanonicalization in interface SemanticsCommand

Returns:

true, if the statement always requires canonicalization