public class StandardAbstractSemantics extends SceneObject implements JimpleToAbstractSemantics
| Constructor and Description |
|---|
StandardAbstractSemantics(SceneObject sceneObject)
Default initialization
|
| 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)
soot.jimple.AssignStmt translates to
AssignStmt
or AssignInvokesoot.jimple.IfStmt translates to IfStmtsoot.jimple.GotoStmt translates to GotoStmtsoot.jimple.IdentityStmt translates to IdentityStmtsoot.jimple.ReturnStmt translates to ReturnValueStmtsoot.jimple.ReturnVoidStmt translates to ReturnVoidStmtsoot.jimple.InvokeStmt translates to InvokeStmtEverything else is delegated to nextLevel |
Type |
translateType(soot.Type input)
creates a NodeType with the escaped type name
|
Value |
translateValue(soot.Value input)
soot.jimple.NullConstant translates to
NullConstantsoot.Local translates to Localsoot.InstanceFieldRef translates to Field soot.jimple.NewExpr translates to NewExprsoot.jimple.IntConstant translates to IntConstant for values in {0,1} soot.jimple.EqExpr translates to EqualExprsoot.jimple.NeExpr translates to UnequalExpreverything else is delegated to nextLevel |
scenepublic StandardAbstractSemantics(SceneObject sceneObject)
public void setTopLevel(TopLevelTranslation topLevel)
JimpleToAbstractSemanticssetTopLevel in interface JimpleToAbstractSemanticstopLevel - The first level that is invoked during the translation.public Statement translateStatement(soot.jimple.Stmt input, int pc)
AssignStmt
or AssignInvokeIfStmtGotoStmtIdentityStmtReturnValueStmtReturnVoidStmtInvokeStmtnextLeveltranslateStatement in interface JimpleToAbstractSemanticsinput - The Jimple statement to translate.pc - The program counter associated to this statement.public Value translateValue(soot.Value input)
NullConstantLocalField NewExprIntConstant EqualExprUnequalExprnextLeveltranslateValue in interface JimpleToAbstractSemanticsinput - the Jimple value to translate.public Type translateType(soot.Type input)
translateType in interface JimpleToAbstractSemanticsinput - The type to translate.Copyright © 2018. All rights reserved.