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

Class AssignStmt

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

All Implemented Interfaces:

SemanticsCommand

public class AssignStmt
extends Statement

AssignStmts model assignments of locals or fields to values e.g. x.y = z

Author:

hannah

Constructor Summary

Constructors

Constructor and Description
AssignStmt(SceneObject sceneObject, SettableValue lhs, Value rhs, int nextPC, Set<String> liveVariableNames)

Method Summary

Modifier and Type	Method and Description
Collection<ProgramState>	computeSuccessors(ProgramState programState) evaluates the rhs and assigns it to the left hand side.
ViolationPoints	getPotentialViolationPoints()
Set<Integer>	getSuccessorPCs()
boolean	needsCanonicalization()
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

AssignStmt

public AssignStmt(SceneObject sceneObject,
                  SettableValue lhs,
                  Value rhs,
                  int nextPC,
                  Set<String> liveVariableNames)

Method Detail

computeSuccessors

public Collection<ProgramState> computeSuccessors(ProgramState programState)

evaluates the rhs and assigns it to the left hand side. In case the rhs evaluates to undefined, the variable will be removed from the heap (It will not point to its old value).
If the types of the lhs and the rhs do not match, there will be a warning, but the assignment will still be realized.

If the variable in rhs is not live in this statement, it will be removed from the heap to enable abstraction at this point.

Parameters:

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

Returns:

All states resulting from executing the program semantics on programState.

toString

public String toString()

Overrides:

toString in class Object

getPotentialViolationPoints

public ViolationPoints getPotentialViolationPoints()

Returns:

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

getSuccessorPCs

public Set<Integer> getSuccessorPCs()

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()

Returns:

true, if the statement always requires canonicalization