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

Class StaticInvokeHelper

java.lang.Object

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

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

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

public class StaticInvokeHelper
extends InvokeHelper

Prepares the heap for the invoke of a static method and cleans it afterwards.

Call prepareHeap(input) for the heap that initializes the method call and cleanHeap( result ) on heaps that result from the execution of the abstract Method.

Handles the evaluation of parameter expressions and stores them in the heap, by setting the corresponding intermediates.
Cleans the heap after the execution of the method.

Author:

Hannah Arndt

Field Summary

Fields inherited from class de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke.InvokeHelper

liveVariableNames

Constructor Summary

Constructors

Constructor and Description
StaticInvokeHelper(SceneObject sceneObject, List<Value> argumentValues) creates a helper class for a specific invoke statement.

Method Summary

Modifier and Type	Method and Description
String	baseValueString()
void	cleanHeap(ProgramState programState) removes all remaining intermediates and local variables.
void	prepareHeap(ProgramState programState) evaluates the expressions for the arguments and appends them to the heap.

Methods inherited from class de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke.InvokeHelper

argumentString, getPotentialViolationPoints, needsMaterialization, setLiveVariableNames

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, toString, wait, wait, wait

Constructor Detail

StaticInvokeHelper

public StaticInvokeHelper(SceneObject sceneObject,
                          List<Value> argumentValues)

creates a helper class for a specific invoke statement.

Parameters:

argumentValues - The values which form the arguments of the method in the correct ordering

See Also:

InvokeHelper

Method Detail

prepareHeap

public void prepareHeap(ProgramState programState)

evaluates the expressions for the arguments and appends them to the heap.

Specified by:

prepareHeap in class InvokeHelper

Parameters:

programState - : the programState which will be the input of the called method

cleanHeap

public void cleanHeap(ProgramState programState)

removes all remaining intermediates and local variables.

Specified by:

cleanHeap in class InvokeHelper

Parameters:

programState - after execution of method (potentially wiht unused intermediates and local variables)

baseValueString

public String baseValueString()

Specified by:

baseValueString in class InvokeHelper