de.rwth.i2.attestor.semantics.jimpleSemantics.translation

Class TopLevelTranslation

java.lang.Object

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

de.rwth.i2.attestor.semantics.jimpleSemantics.translation.TopLevelTranslation

All Implemented Interfaces:

JimpleToAbstractSemantics

public class TopLevelTranslation
extends SceneObject
implements JimpleToAbstractSemantics

This class organizes the actual translation process by splitting a Jimple program into methodExecution and methodExecution into units. The lower translation layers can ask this element for the pc of a given unit and the method-translation for a given method-signature.

The translation process is started by translate().

This class does not specify actual translation rules for statements/values/types. Those can be found in the translation hierarchy starting in firstLevel

Author:

Hannah Arndt, Christoph

Constructor Summary

Constructors

Constructor and Description
TopLevelTranslation(SceneObject sceneObject) Default initialization for TopLevelTranslation.
TopLevelTranslation(SceneObject sceneObject, JimpleToAbstractSemantics firstLevel) Initializes the TopLevelTranslation with a custom first level.

Method Summary

Modifier and Type	Method and Description
Method	getMethod(String signature) Gets the abstract method for the given signature.
void	setTopLevel(TopLevelTranslation topLevel) Determines the highest level in the translation hierarchy.
void	translate() First fills the methodMapping with new abstractMethods for each method in the main class.
Statement	translateStatement(soot.jimple.Stmt input, int pc) Translates Jimple statements to instances of Statement.
Type	translateType(soot.Type input) Translates Jimple types into Type.
Value	translateValue(soot.Value input) Translates Jimple values to instances of Value.

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

TopLevelTranslation

public TopLevelTranslation(SceneObject sceneObject)

Default initialization for TopLevelTranslation. Sets the firstLevel of the translation hierarchy to StandardAbstractSemantics

TopLevelTranslation

public TopLevelTranslation(SceneObject sceneObject,
                           JimpleToAbstractSemantics firstLevel)

Initializes the TopLevelTranslation with a custom first level.

Parameters:

firstLevel - The custom first level of the translation process.

Method Detail

translate

public void translate()

First fills the methodMapping with new abstractMethods for each method in the main class. Then fills these methodExecution each with the corresponding translation of statements.
Assumes that soot.Scene already containsSubsumingState the Jimple code that should be translated.

See Also:

translateMethod(SootMethod)

translateStatement

public Statement translateStatement(soot.jimple.Stmt input,
                                    int pc)

Description copied from interface: JimpleToAbstractSemantics

Translates Jimple statements to instances of Statement.

Specified by:

translateStatement in interface JimpleToAbstractSemantics

Parameters:

input - The Jimple statement to translate.

pc - The program counter associated to this statement.

Returns:

The translated statement.

translateValue

public Value translateValue(soot.Value input)

Description copied from interface: JimpleToAbstractSemantics

Translates Jimple values to instances of Value.

Specified by:

translateValue in interface JimpleToAbstractSemantics

Parameters:

input - the Jimple value to translate.

Returns:

The translated value.

translateType

public Type translateType(soot.Type input)

Description copied from interface: JimpleToAbstractSemantics

Translates Jimple types into Type.

Specified by:

translateType in interface JimpleToAbstractSemantics

Parameters:

input - The type to translate.

Returns:

The translated type.

getMethod

public Method getMethod(String signature)

Gets the abstract method for the given signature. If the method is not from the main class, it creates a default method with an empty body for this signature and adds it to the methodMapping.

Parameters:

signature - The signature of the requested method.

Returns:

The corresponding abstract method.

setTopLevel

public void setTopLevel(TopLevelTranslation topLevel)

Description copied from interface: JimpleToAbstractSemantics

Determines the highest level in the translation hierarchy. This is the first level of the translation that is called during the translation.

Specified by:

setTopLevel in interface JimpleToAbstractSemantics

Parameters:

topLevel - The first level that is invoked during the translation.