Uses of Class
boomerang.scene.Val

Packages that use Val

Package	Description
boomerang.scene
boomerang.scene.jimple

Uses of Val in boomerang.scene

Subclasses of Val in boomerang.scene

Modifier and Type	Class and Description
class	AllocVal
class	StaticFieldVal

Methods in boomerang.scene that return Val

Modifier and Type	Method and Description
Val	AllocVal.asUnbalanced(ControlFlowGraph.Edge stmt)
abstract Val	Val.asUnbalanced(ControlFlowGraph.Edge stmt)
abstract Val	StaticFieldVal.asUnbalanced(ControlFlowGraph.Edge stmt)
Val	AllocVal.getAllocVal()
Val	InvokeExpr.getArg(int index)
Val	InstanceFieldRef.getBase()
Val	InvokeExpr.getBase()
Val	AllocVal.getCastOp()
abstract Val	Val.getCastOp()
Val	AllocVal.getDelegate()
Val	ValWithFalseVariable.getFalseVariable()
Val	AllocVal.getInstanceOfOp()
abstract Val	Val.getInstanceOfOp()
abstract Val	Statement.getLeftOp()
Val	AllocVal.getLengthOp()
abstract Val	Val.getLengthOp()
Val	Method.getParameterLocal(int i)
abstract Val	Statement.getReturnOp()
abstract Val	Statement.getRightOp()
abstract Val	Method.getThisLocal()
Val	AllocVal.withNewMethod(Method callee)
abstract Val	Val.withNewMethod(Method callee)
Val	AllocVal.withSecondVal(Val leftOp)
Val	Val.withSecondVal(Val leftOp)
static Val	Val.zero()

Methods in boomerang.scene that return types with arguments of type Val

Modifier and Type	Method and Description
List<Val>	InvokeExpr.getArgs()
Pair<Val,Integer>	AllocVal.getArrayBase()
abstract Pair<Val,Integer>	Val.getArrayBase()
abstract Pair<Val,Integer>	Statement.getArrayBase()
abstract Pair<Val,Field>	Statement.getFieldLoad()
abstract Pair<Val,Field>	Statement.getFieldStore()
abstract Set<Val>	Method.getLocals()
abstract List<Val>	Method.getParameterLocals()
abstract Collection<Val>	Statement.getPhiVals()
Collection<Val>	Method.getReturnLocals()

Methods in boomerang.scene with parameters of type Val

Modifier and Type	Method and Description
boolean	Statement.assignsValue(Val value)
boolean	Type.doesCastFail(Type targetVal, Val target)
IfStatement.Evaluation	IfStatement.evaluate(Val val)
int	Statement.getParameter(Val value)
abstract boolean	Statement.isFieldLoadWithBase(Val base)
abstract boolean	Statement.isFieldWriteWithBase(Val base)
abstract boolean	Statement.isInstanceOfStatement(Val fact)
boolean	Statement.isParameter(Val value)
abstract boolean	Method.isParameterLocal(Val val)
boolean	Statement.isReturnOperator(Val val)
abstract boolean	Method.isThisLocal(Val val)
abstract boolean	Statement.killAtIfStmt(Val fact, Statement successor) 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.
boolean	IfStatement.uses(Val val)
boolean	Statement.uses(Val value)
Val	AllocVal.withSecondVal(Val leftOp)
Val	Val.withSecondVal(Val leftOp)

Constructors in boomerang.scene with parameters of type Val

Constructor and Description
AllocVal(Val delegate, Statement allocStatement, Val allocationVal)

Uses of Val in boomerang.scene.jimple

Subclasses of Val in boomerang.scene.jimple

Modifier and Type	Class and Description
class	JimpleDoubleVal
class	JimpleStaticFieldVal
class	JimpleVal

Methods in boomerang.scene.jimple that return Val

Modifier and Type	Method and Description
Val	JimpleStaticFieldVal.asUnbalanced(ControlFlowGraph.Edge stmt)
Val	JimpleVal.asUnbalanced(ControlFlowGraph.Edge stmt)
Val	JimpleInvokeExpr.getArg(int index)
Val	JimpleInstanceFieldRef.getBase()
Val	JimpleInvokeExpr.getBase()
Val	JimpleStaticFieldVal.getCastOp()
Val	JimpleVal.getCastOp()
Val	JimpleDoubleVal.getFalseVariable()
Val	JimpleStaticFieldVal.getInstanceOfOp()
Val	JimpleVal.getInstanceOfOp()
Val	JimpleStatement.getLeftOp()
Val	JimpleStaticFieldVal.getLengthOp()
Val	JimpleVal.getLengthOp()
Val	JimpleStatement.getReturnOp()
Val	JimpleStatement.getRightOp()
Val	JimpleMethod.getThisLocal()
Val	JimpleStaticFieldVal.withNewMethod(Method callee)
Val	JimpleVal.withNewMethod(Method callee)
Val	JimpleVal.withSecondVal(Val leftOp)

Methods in boomerang.scene.jimple that return types with arguments of type Val

Modifier and Type	Method and Description
List<Val>	JimpleInvokeExpr.getArgs()
Pair<Val,Integer>	JimpleStatement.getArrayBase()
Pair<Val,Integer>	JimpleStaticFieldVal.getArrayBase()
Pair<Val,Integer>	JimpleVal.getArrayBase()
Pair<Val,Field>	JimpleStatement.getFieldLoad()
Pair<Val,Field>	JimpleStatement.getFieldStore()
Set<Val>	JimpleMethod.getLocals()
List<Val>	JimpleMethod.getParameterLocals()
Collection<Val>	JimpleStatement.getPhiVals()

Methods in boomerang.scene.jimple with parameters of type Val

Modifier and Type	Method and Description
boolean	JimpleType.doesCastFail(Type targetVal, Val target)
IfStatement.Evaluation	JimpleIfStatement.evaluate(Val val)
boolean	JimpleStatement.isFieldLoadWithBase(Val base)
boolean	JimpleStatement.isFieldWriteWithBase(Val base)
boolean	JimpleStatement.isInstanceOfStatement(Val fact)
boolean	JimpleMethod.isParameterLocal(Val val)
boolean	JimpleMethod.isThisLocal(Val val)
boolean	JimpleStatement.killAtIfStmt(Val fact, Statement successor) Deprecated.
boolean	JimpleIfStatement.uses(Val val)
Val	JimpleVal.withSecondVal(Val leftOp)

Constructors in boomerang.scene.jimple with parameters of type Val

Constructor and Description
JimpleDoubleVal(soot.Value v, Method m, Val instanceofValue)