boomerang.scene.jimple

Class JimpleStatement

java.lang.Object

boomerang.scene.Statement

boomerang.scene.jimple.JimpleStatement

All Implemented Interfaces:

wpds.interfaces.Location

public class JimpleStatement
extends Statement

Method Summary

Modifier and Type	Method and Description
boolean	containsInvokeExpr()
boolean	containsStaticFieldAccess()
static Statement	create(soot.jimple.Stmt delegate, Method m)
boolean	equals(Object obj)
Pair<Val,Integer>	getArrayBase()
soot.jimple.Stmt	getDelegate()
int	getEndColumnNumber()
int	getEndLineNumber()
Pair<Val,Field>	getFieldLoad()
Pair<Val,Field>	getFieldStore()
IfStatement	getIfStmt()
InvokeExpr	getInvokeExpr()
Val	getLeftOp()
Field	getLoadedField()
Collection<Val>	getPhiVals()
Val	getReturnOp()
Val	getRightOp()
String	getShortLabel()
int	getStartColumnNumber()
int	getStartLineNumber()
StaticFieldVal	getStaticField()
Field	getWrittenField()
int	hashCode()
boolean	isArrayLoad()
boolean	isArrayStore()
boolean	isAssign()
boolean	isCast()
boolean	isCatchStmt()
boolean	isFieldLoad()
boolean	isFieldLoadWithBase(Val base)
boolean	isFieldStore()
boolean	isFieldWriteWithBase(Val base)
boolean	isIdentityStmt()
boolean	isIfStmt()
boolean	isInstanceOfStatement(Val fact)
boolean	isMultiArrayAllocation()
boolean	isPhiStatement()
boolean	isReturnStmt()
boolean	isStaticFieldLoad()
boolean	isStaticFieldStore()
boolean	isStringAllocation()
boolean	isThrowStmt()
boolean	isUnitializedFieldStatement()
boolean	killAtIfStmt(Val fact, Statement successor) Deprecated.
String	toString()

Methods inherited from class boomerang.scene.Statement

accepts, assignsValue, epsilon, getMethod, getParameter, isParameter, isReturnOperator, uses

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

create

public static Statement create(soot.jimple.Stmt delegate,
                               Method m)

toString

public String toString()

Overrides:

toString in class Statement

containsStaticFieldAccess

public boolean containsStaticFieldAccess()

Specified by:

containsStaticFieldAccess in class Statement

containsInvokeExpr

public boolean containsInvokeExpr()

Specified by:

containsInvokeExpr in class Statement

getWrittenField

public Field getWrittenField()

Specified by:

getWrittenField in class Statement

isFieldWriteWithBase

public boolean isFieldWriteWithBase(Val base)

Specified by:

isFieldWriteWithBase in class Statement

getLoadedField

public Field getLoadedField()

Specified by:

getLoadedField in class Statement

isFieldLoadWithBase

public boolean isFieldLoadWithBase(Val base)

Specified by:

isFieldLoadWithBase in class Statement

isAssign

public boolean isAssign()

Specified by:

isAssign in class Statement

getLeftOp

public Val getLeftOp()

Specified by:

getLeftOp in class Statement

getRightOp

public Val getRightOp()

Specified by:

getRightOp in class Statement

isInstanceOfStatement

public boolean isInstanceOfStatement(Val fact)

Specified by:

isInstanceOfStatement in class Statement

isCast

public boolean isCast()

Specified by:

isCast in class Statement

getInvokeExpr

public InvokeExpr getInvokeExpr()

Specified by:

getInvokeExpr in class Statement

isReturnStmt

public boolean isReturnStmt()

Specified by:

isReturnStmt in class Statement

isThrowStmt

public boolean isThrowStmt()

Specified by:

isThrowStmt in class Statement

isIfStmt

public boolean isIfStmt()

Specified by:

isIfStmt in class Statement

getIfStmt

public IfStatement getIfStmt()

Specified by:

getIfStmt in class Statement

getReturnOp

public Val getReturnOp()

Specified by:

getReturnOp in class Statement

isMultiArrayAllocation

public boolean isMultiArrayAllocation()

Specified by:

isMultiArrayAllocation in class Statement

isStringAllocation

public boolean isStringAllocation()

Specified by:

isStringAllocation in class Statement

isFieldStore

public boolean isFieldStore()

Specified by:

isFieldStore in class Statement

isArrayStore

public boolean isArrayStore()

Specified by:

isArrayStore in class Statement

isArrayLoad

public boolean isArrayLoad()

Specified by:

isArrayLoad in class Statement

isFieldLoad

public boolean isFieldLoad()

Specified by:

isFieldLoad in class Statement

isIdentityStmt

public boolean isIdentityStmt()

Specified by:

isIdentityStmt in class Statement

getDelegate

public soot.jimple.Stmt getDelegate()

getShortLabel

public String getShortLabel()

killAtIfStmt

@Deprecated
public boolean killAtIfStmt(Val fact,
                                        Statement successor)

Deprecated.

This method kills a data-flow at an if-stmt, it is assumed that the propagated "allocation" site is x = null and fact is the propagated aliased variable. (i.e., y after a statement y = x). If the if-stmt checks for if y != null or if y == null, data-flow propagation can be killed when along the true/false branch.

Specified by:

killAtIfStmt in class Statement

Parameters:

fact - The data-flow value that bypasses the if-stmt

successor - The successor statement of the if-stmt

Returns:

true if the Val fact shall be killed

hashCode

public int hashCode()

Overrides:

hashCode in class Statement

equals

public boolean equals(Object obj)

Overrides:

equals in class Statement

getFieldStore

public Pair<Val,Field> getFieldStore()

Specified by:

getFieldStore in class Statement

getFieldLoad

public Pair<Val,Field> getFieldLoad()

Specified by:

getFieldLoad in class Statement

isStaticFieldLoad

public boolean isStaticFieldLoad()

Specified by:

isStaticFieldLoad in class Statement

isStaticFieldStore

public boolean isStaticFieldStore()

Specified by:

isStaticFieldStore in class Statement

getStaticField

public StaticFieldVal getStaticField()

Specified by:

getStaticField in class Statement

isPhiStatement

public boolean isPhiStatement()

Specified by:

isPhiStatement in class Statement

getPhiVals

public Collection<Val> getPhiVals()

Specified by:

getPhiVals in class Statement

getArrayBase

public Pair<Val,Integer> getArrayBase()

Specified by:

getArrayBase in class Statement

getStartLineNumber

public int getStartLineNumber()

Specified by:

getStartLineNumber in class Statement

getStartColumnNumber

public int getStartColumnNumber()

Specified by:

getStartColumnNumber in class Statement

getEndColumnNumber

public int getEndColumnNumber()

Specified by:

getEndColumnNumber in class Statement

getEndLineNumber

public int getEndLineNumber()

Specified by:

getEndLineNumber in class Statement

isCatchStmt

public boolean isCatchStmt()

Specified by:

isCatchStmt in class Statement

isUnitializedFieldStatement

public boolean isUnitializedFieldStatement()