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

Class DefaultAbstractSemantics

java.lang.Object

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

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

All Implemented Interfaces:

JimpleToAbstractSemantics

public class DefaultAbstractSemantics
extends SceneObject
implements JimpleToAbstractSemantics

Translates all Jimple objects into trivial program semantics. That is each statement is translated into skip statements and each value/type into undefined. It should be the lowest layer of the translation hierarchy.

Author:

Hannah Arndt, Christoph

Method Summary

Modifier and Type	Method and Description
void	setTopLevel(TopLevelTranslation topLevel) Determines the highest level in the translation hierarchy.
Statement	translateStatement(soot.jimple.Stmt input, int pc) Translates all input statements to Skip or BranchingSkip if the input statement has multiple successors.
Type	translateType(soot.Type input) Translates every type to a new NodeTypeImpl instance with name "undefined Type".
Value	translateValue(soot.Value input) Translates every value to UndefinedValue.

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

Method Detail

translateStatement

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

Translates all input statements to Skip or BranchingSkip if the input statement has multiple successors. In any case we consider no more than two successors.

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)

Translates every value to UndefinedValue.

Specified by:

translateValue in interface JimpleToAbstractSemantics

Parameters:

input - the Jimple value to translate.

Returns:

The translated value.

translateType

public Type translateType(soot.Type input)

Translates every type to a new NodeTypeImpl instance with name "undefined Type".

Specified by:

translateType in interface JimpleToAbstractSemantics

Parameters:

input - The type to translate.

Returns:

The translated type.

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.