Uses of Interface
soot.ValueBox

Packages that use ValueBox

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
soot.baf	Public classes for the Baf intermediate representation.
soot.baf.internal	Internal, messy, implementation-specific classes for the Baf intermediate representation.
soot.dava.internal.AST
soot.dava.internal.javaRep
soot.dava.toolkits.base.AST.analysis
soot.dava.toolkits.base.AST.transformations
soot.dexpler
soot.dexpler.typing
soot.grimp	Public classes for the Grimp intermediate representation.
soot.grimp.internal	Internal, messy, implementation-specific classes for the Grimp intermediate representation.
soot.jimple	Public classes for the Jimple intermediate representation.
soot.jimple.internal	Internal, messy, implementation-specific classes for the Jimple intermediate representation.
soot.jimple.toolkits.infoflow
soot.jimple.toolkits.pointer
soot.jimple.toolkits.scalar	A toolkit for scalar optimization of Jimple.
soot.jimple.toolkits.thread.synchronization
soot.shimple.internal	Shimple internal messy stuff.
soot.shimple.toolkits.graph
soot.toDex
soot.toolkits.scalar	A number of scalar optimizations, and the flow analysis framework.

Uses of ValueBox in soot

Classes in soot that implement ValueBox

Modifier and Type	Class	Description
class	AbstractValueBox	Reference implementation for ValueBox; just add a canContainValue method.

Methods in soot that return ValueBox

Modifier and Type	Method	Description
ValueBox	IdentityUnit.getLeftOpBox()
ValueBox	IdentityUnit.getRightOpBox()

Methods in soot that return types with arguments of type ValueBox

Modifier and Type	Method	Description
List<ValueBox>	AbstractUnit.getDefBoxes()	Returns a list of Boxes containing Values defined in this Unit.
List<ValueBox>	Body.getDefBoxes()	Returns the result of iterating through all Units in this body and querying them for ValueBoxes defined.
List<ValueBox>	Unit.getDefBoxes()	Returns a list of Boxes containing Values defined in this Unit.
List<ValueBox>	AbstractUnit.getUseAndDefBoxes()	Returns a list of ValueBoxes, either used or defined in this Unit.
List<ValueBox>	Body.getUseAndDefBoxes()	Returns a list of boxes corresponding to Values either used or defined in any unit of this Body.
List<ValueBox>	Unit.getUseAndDefBoxes()	Returns a list of Boxes containing any Value either used or defined in this Unit.
List<ValueBox>	AbstractUnit.getUseBoxes()	Returns a list of Boxes containing Values used in this Unit.
List<ValueBox>	Body.getUseBoxes()	Returns the result of iterating through all Units in this body and querying them for ValueBoxes used.
List<ValueBox>	EquivalentValue.getUseBoxes()
List<ValueBox>	Unit.getUseBoxes()	Returns a list of Boxes containing Values used in this Unit.
List<ValueBox>	Value.getUseBoxes()	Returns a List of boxes corresponding to Values which are used by (ie contained within) this Value.

Methods in soot with parameters of type ValueBox

Modifier and Type	Method	Description
void	AbstractUnitPrinter.endValueBox(ValueBox vb)
void	AttributesUnitPrinter.endValueBox(ValueBox u)
void	UnitPrinter.endValueBox(ValueBox u)
void	AbstractUnitPrinter.startValueBox(ValueBox vb)
void	AttributesUnitPrinter.startValueBox(ValueBox u)
void	UnitPrinter.startValueBox(ValueBox u)

Uses of ValueBox in soot.baf

Methods in soot.baf that return ValueBox

Modifier and Type	Method	Description
ValueBox	Baf.newIdentityRefBox(Value value)
ValueBox	Baf.newLocalBox(Value value)

Uses of ValueBox in soot.baf.internal

Classes in soot.baf.internal that implement ValueBox

Modifier and Type	Class	Description
class	BafLocalBox

Methods in soot.baf.internal that return ValueBox

Modifier and Type	Method	Description
ValueBox	BIdentityInst.getLeftOpBox()
ValueBox	BIdentityInst.getRightOpBox()

Methods in soot.baf.internal that return types with arguments of type ValueBox

Modifier and Type	Method	Description
List<ValueBox>	BIdentityInst.getDefBoxes()
List<ValueBox>	BIncInst.getDefBoxes()
List<ValueBox>	BStoreInst.getDefBoxes()
List<ValueBox>	BafLocal.getUseBoxes()
List<ValueBox>	BIdentityInst.getUseBoxes()
List<ValueBox>	BIncInst.getUseBoxes()
List<ValueBox>	BLoadInst.getUseBoxes()

Constructors in soot.baf.internal with parameters of type ValueBox

Constructor	Description
BIdentityInst(ValueBox localBox, ValueBox identityValueBox)

Uses of ValueBox in soot.dava.internal.AST

Methods in soot.dava.internal.AST that return ValueBox

Modifier and Type	Method	Description
ValueBox	ASTSwitchNode.getKeyBox()

Uses of ValueBox in soot.dava.internal.javaRep

Classes in soot.dava.internal.javaRep that implement ValueBox

Modifier and Type	Class	Description
class	DArrayInitValueBox

Methods in soot.dava.internal.javaRep that return ValueBox

Modifier and Type	Method	Description
ValueBox	DVariableDeclarationStmt.getArrayRefBox()
ValueBox[]	DArrayInitExpr.getElements()
ValueBox	DVariableDeclarationStmt.getFieldRefBox()
ValueBox	DVariableDeclarationStmt.getInvokeExprBox()

Methods in soot.dava.internal.javaRep that return types with arguments of type ValueBox

Modifier and Type	Method	Description
List<ValueBox>	DArrayInitExpr.getUseBoxes()

Constructors in soot.dava.internal.javaRep with parameters of type ValueBox

Constructor	Description
DArrayInitExpr(ValueBox[] elements, Type type)
DAssignStmt(ValueBox left, ValueBox right)
DShortcutIf(ValueBox test, ValueBox left, ValueBox right)

Uses of ValueBox in soot.dava.toolkits.base.AST.analysis

Methods in soot.dava.toolkits.base.AST.analysis with parameters of type ValueBox

Modifier and Type	Method	Description
void	DepthFirstAdapter.caseExprOrRefValueBox(ValueBox vb)
void	DepthFirstAdapter.inExprOrRefValueBox(ValueBox vb)
void	DepthFirstAdapter.outExprOrRefValueBox(ValueBox vb)

Uses of ValueBox in soot.dava.toolkits.base.AST.transformations

Methods in soot.dava.toolkits.base.AST.transformations with parameters of type ValueBox

Modifier and Type	Method	Description
void	DeInliningFinalFields.checkAndSwitch(ValueBox valBox)
void	NewStringBufferSimplification.inExprOrRefValueBox(ValueBox argBox)
void	SimplifyExpressions.outExprOrRefValueBox(ValueBox vb)

Uses of ValueBox in soot.dexpler

Methods in soot.dexpler with parameters of type ValueBox

Modifier and Type	Method	Description
void	IDalvikTyper.addConstraint(ValueBox box1, ValueBox box2)
abstract void	DvkTyperBase.setConstraint(ValueBox box1, ValueBox box2)
abstract void	DvkTyperBase.setObjectType(ValueBox v)
abstract void	DvkTyperBase.setType(ValueBox v, Type type)
void	IDalvikTyper.setType(ValueBox v, Type type, boolean isUse)

Uses of ValueBox in soot.dexpler.typing

Methods in soot.dexpler.typing with parameters of type ValueBox

Modifier and Type	Method	Description
void	DalvikTyper.addConstraint(ValueBox l, ValueBox r)
void	DalvikTyper.setType(ValueBox vb, Type t, boolean isUse)

Uses of ValueBox in soot.grimp

Methods in soot.grimp that return ValueBox

Modifier and Type	Method	Description
ValueBox	Grimp.newArgBox(Value value)
ValueBox	Grimp.newConditionExprBox(Value value)
ValueBox	Grimp.newExprBox(Value value)
ValueBox	Grimp.newIdentityRefBox(Value value)
ValueBox	Grimp.newImmediateBox(Value value)
ValueBox	Grimp.newInvokeExprBox(Value value)
ValueBox	Grimp.newLocalBox(Value value)
ValueBox	Grimp.newObjExprBox(Value value)
ValueBox	Grimp.newRValueBox(Value value)
ValueBox	Grimp.newVariableBox(Value value)

Methods in soot.grimp with parameters of type ValueBox

Modifier and Type	Method	Description
static boolean	PrecedenceTest.needsBrackets(ValueBox subExprBox, Value expr)
static boolean	PrecedenceTest.needsBracketsRight(ValueBox subExprBox, Value expr)

Uses of ValueBox in soot.grimp.internal

Classes in soot.grimp.internal that implement ValueBox

Modifier and Type	Class	Description
class	ExprBox
class	GRValueBox
class	ObjExprBox	an ExprBox which can only contain object-looking references

Fields in soot.grimp.internal declared as ValueBox

Modifier and Type	Field	Description
protected ValueBox[]	GDynamicInvokeExpr.bsmArgBoxes

Constructors in soot.grimp.internal with parameters of type ValueBox

Constructor	Description
AbstractGrimpFloatBinopExpr(ValueBox op1Box, ValueBox op2Box)
AbstractGrimpIntBinopExpr(ValueBox op1Box, ValueBox op2Box)
AbstractGrimpIntLongBinopExpr(ValueBox op1Box, ValueBox op2Box)

Uses of ValueBox in soot.jimple

Methods in soot.jimple that return ValueBox

Modifier and Type	Method	Description
ValueBox	InvokeExpr.getArgBox(int index)
ValueBox	Stmt.getArrayRefBox()
ValueBox	ArrayRef.getBaseBox()
ValueBox	InstanceFieldRef.getBaseBox()
ValueBox	InstanceInvokeExpr.getBaseBox()
ValueBox	IfStmt.getConditionBox()
ValueBox	Stmt.getFieldRefBox()
ValueBox	ArrayRef.getIndexBox()
ValueBox	InvokeStmt.getInvokeExprBox()
ValueBox	Stmt.getInvokeExprBox()
ValueBox	SwitchStmt.getKeyBox()
ValueBox	DefinitionStmt.getLeftOpBox()
ValueBox	BinopExpr.getOp1Box()
ValueBox	BinopExpr.getOp2Box()
ValueBox	CastExpr.getOpBox()
ValueBox	EnterMonitorStmt.getOpBox()
ValueBox	ExitMonitorStmt.getOpBox()
ValueBox	InstanceOfExpr.getOpBox()
ValueBox	MonitorStmt.getOpBox()
ValueBox	ReturnStmt.getOpBox()
ValueBox	ThrowStmt.getOpBox()
ValueBox	UnopExpr.getOpBox()
ValueBox	DefinitionStmt.getRightOpBox()
ValueBox	NewArrayExpr.getSizeBox()
ValueBox	NewMultiArrayExpr.getSizeBox(int index)
ValueBox	RetStmt.getStmtAddressBox()
ValueBox	Jimple.newArgBox(Value value)
ValueBox	Jimple.newConditionExprBox(Value value)
ValueBox	Jimple.newIdentityRefBox(Value value)
ValueBox	Jimple.newImmediateBox(Value value)
ValueBox	Jimple.newInvokeExprBox(Value value)
ValueBox	Jimple.newLocalBox(Value value)
ValueBox	Jimple.newRValueBox(Value value)
ValueBox	Jimple.newVariableBox(Value value)

Methods in soot.jimple that return types with arguments of type ValueBox

Modifier and Type	Method	Description
List<ValueBox>	Constant.getUseBoxes()
List<ValueBox>	ParameterRef.getUseBoxes()
List<ValueBox>	StaticFieldRef.getUseBoxes()
List<ValueBox>	ThisRef.getUseBoxes()

Uses of ValueBox in soot.jimple.internal

Classes in soot.jimple.internal that implement ValueBox

Modifier and Type	Class	Description
class	ConditionExprBox
class	IdentityRefBox
class	ImmediateBox
class	InvokeExprBox
static class	JAssignStmt.LinkedRValueBox
static class	JAssignStmt.LinkedVariableBox
class	JimpleLocalBox
class	RValueBox
class	VariableBox

Fields in soot.jimple.internal declared as ValueBox

Modifier and Type	Field	Description
protected ValueBox[]	AbstractInvokeExpr.argBoxes
protected ValueBox	AbstractInstanceInvokeExpr.baseBox
protected ValueBox	JArrayRef.baseBox
protected ValueBox[]	JDynamicInvokeExpr.bsmArgBoxes
protected ValueBox	JIfStmt.conditionBox
protected ValueBox	JArrayRef.indexBox
protected ValueBox	JInvokeStmt.invokeExprBox
protected ValueBox	AbstractSwitchStmt.keyBox
protected ValueBox	AbstractDefinitionStmt.leftBox
protected ValueBox	AbstractBinopExpr.op1Box
protected ValueBox	AbstractBinopExpr.op2Box
protected ValueBox	AbstractCastExpr.opBox
protected ValueBox	AbstractInstanceOfExpr.opBox
protected ValueBox	AbstractOpStmt.opBox
protected ValueBox	AbstractUnopExpr.opBox
protected ValueBox	AbstractDefinitionStmt.rightBox
protected ValueBox	AbstractNewArrayExpr.sizeBox
protected ValueBox[]	AbstractNewMultiArrayExpr.sizeBoxes
protected ValueBox	JRetStmt.stmtAddressBox

Methods in soot.jimple.internal that return ValueBox

Modifier and Type	Method	Description
ValueBox	AbstractInvokeExpr.getArgBox(int index)
ValueBox	AbstractStmt.getArrayRefBox()
ValueBox	JAssignStmt.getArrayRefBox()
ValueBox	AbstractInstanceFieldRef.getBaseBox()
ValueBox	AbstractInstanceInvokeExpr.getBaseBox()
ValueBox	JArrayRef.getBaseBox()
ValueBox	JIfStmt.getConditionBox()
ValueBox	AbstractStmt.getFieldRefBox()
ValueBox	JAssignStmt.getFieldRefBox()
ValueBox	JArrayRef.getIndexBox()
ValueBox	AbstractStmt.getInvokeExprBox()
ValueBox	JAssignStmt.getInvokeExprBox()
ValueBox	JInvokeStmt.getInvokeExprBox()
ValueBox	AbstractSwitchStmt.getKeyBox()
ValueBox	AbstractDefinitionStmt.getLeftOpBox()
ValueBox	AbstractBinopExpr.getOp1Box()
ValueBox	AbstractBinopExpr.getOp2Box()
ValueBox	AbstractCastExpr.getOpBox()
ValueBox	AbstractInstanceOfExpr.getOpBox()
ValueBox	AbstractOpStmt.getOpBox()
ValueBox	AbstractUnopExpr.getOpBox()
ValueBox	AbstractDefinitionStmt.getRightOpBox()
ValueBox	AbstractNewArrayExpr.getSizeBox()
ValueBox	AbstractNewMultiArrayExpr.getSizeBox(int index)
ValueBox	JRetStmt.getStmtAddressBox()

Methods in soot.jimple.internal that return types with arguments of type ValueBox

Modifier and Type	Method	Description
List<ValueBox>	AbstractDefinitionStmt.getDefBoxes()
List<ValueBox>	AbstractBinopExpr.getUseBoxes()
List<ValueBox>	AbstractCastExpr.getUseBoxes()
List<ValueBox>	AbstractDefinitionStmt.getUseBoxes()
List<ValueBox>	AbstractInstanceFieldRef.getUseBoxes()
List<ValueBox>	AbstractInstanceInvokeExpr.getUseBoxes()
List<ValueBox>	AbstractInstanceOfExpr.getUseBoxes()
List<ValueBox>	AbstractInvokeExpr.getUseBoxes()
List<ValueBox>	AbstractNewArrayExpr.getUseBoxes()
List<ValueBox>	AbstractNewExpr.getUseBoxes()
List<ValueBox>	AbstractNewMultiArrayExpr.getUseBoxes()
List<ValueBox>	AbstractOpStmt.getUseBoxes()
List<ValueBox>	AbstractSwitchStmt.getUseBoxes()
List<ValueBox>	AbstractUnopExpr.getUseBoxes()
List<ValueBox>	JArrayRef.getUseBoxes()
List<ValueBox>	JCaughtExceptionRef.getUseBoxes()
List<ValueBox>	JIfStmt.getUseBoxes()
List<ValueBox>	JimpleLocal.getUseBoxes()
List<ValueBox>	JInvokeStmt.getUseBoxes()
List<ValueBox>	JRetStmt.getUseBoxes()

Methods in soot.jimple.internal with parameters of type ValueBox

Modifier and Type	Method	Description
void	JAssignStmt.LinkedRValueBox.setOtherBox(ValueBox otherBox)
void	JAssignStmt.LinkedVariableBox.setOtherBox(ValueBox otherBox)

Constructors in soot.jimple.internal with parameters of type ValueBox

Constructor	Description
AbstractBinopExpr(ValueBox op1Box, ValueBox op2Box)
AbstractCastExpr(ValueBox opBox, Type type)
AbstractDefinitionStmt(ValueBox leftBox, ValueBox rightBox)
AbstractFloatBinopExpr(ValueBox op1Box, ValueBox op2Box)
AbstractInstanceFieldRef(ValueBox baseBox, SootFieldRef fieldRef)
AbstractInstanceInvokeExpr(SootMethodRef methodRef, ValueBox baseBox, ValueBox[] argBoxes)
AbstractInstanceOfExpr(ValueBox opBox, Type checkType)
AbstractIntBinopExpr(ValueBox op1Box, ValueBox op2Box)
AbstractInterfaceInvokeExpr(ValueBox baseBox, SootMethodRef methodRef, ValueBox[] argBoxes)
AbstractIntLongBinopExpr(ValueBox op1Box, ValueBox op2Box)
AbstractInvokeExpr(SootMethodRef methodRef, ValueBox[] argBoxes)
AbstractJimpleFloatBinopExpr(ValueBox op1Box, ValueBox op2Box)
AbstractLengthExpr(ValueBox opBox)
AbstractNegExpr(ValueBox opBox)
AbstractNewArrayExpr(Type type, ValueBox sizeBox)
AbstractNewMultiArrayExpr(ArrayType type, ValueBox[] sizeBoxes)
AbstractOpStmt(ValueBox opBox)
AbstractSpecialInvokeExpr(ValueBox baseBox, SootMethodRef methodRef, ValueBox[] argBoxes)
AbstractStaticInvokeExpr(SootMethodRef methodRef, ValueBox[] argBoxes)
AbstractSwitchStmt(ValueBox keyBox, UnitBox defaultTargetBox, UnitBox... targetBoxes)
AbstractUnopExpr(ValueBox opBox)
AbstractVirtualInvokeExpr(ValueBox baseBox, SootMethodRef methodRef, ValueBox[] argBoxes)
JArrayRef(ValueBox baseBox, ValueBox indexBox)
JAssignStmt(ValueBox variableBox, ValueBox rvalueBox)
JCastExpr(ValueBox op, Type type)
JCheckedCastExpr(ValueBox op, Type type)
JDivExpr(ValueBox op1, ValueBox op2)
JEnterMonitorStmt(ValueBox opBox)
JExitMonitorStmt(ValueBox opBox)
JIdentityStmt(ValueBox localBox, ValueBox identityValueBox)
JIfStmt(ValueBox conditionBox, UnitBox targetBox)
JInstanceFieldRef(ValueBox baseBox, SootFieldRef fieldRef)
JInvokeStmt(ValueBox invokeExprBox)
JLookupSwitchStmt(ValueBox keyBox, List<IntConstant> lookupValues, UnitBox[] targetBoxes, UnitBox defaultTargetBox)
JNewArrayExpr(Type type, ValueBox box)
JNewMultiArrayExpr(ArrayType type, ValueBox[] sizes)
JRemExpr(ValueBox op1, ValueBox op2)
JRetStmt(ValueBox stmtAddressBox)
JReturnStmt(ValueBox returnValueBox)
JTableSwitchStmt(ValueBox keyBox, int lowIndex, int highIndex, UnitBox[] targetBoxes, UnitBox defaultTargetBox)
JThrowStmt(ValueBox opBox)

Uses of ValueBox in soot.jimple.toolkits.infoflow

Methods in soot.jimple.toolkits.infoflow that return types with arguments of type ValueBox

Modifier and Type	Method	Description
List<ValueBox>	AbstractDataSource.getUseBoxes()

Uses of ValueBox in soot.jimple.toolkits.pointer

Method parameters in soot.jimple.toolkits.pointer with type arguments of type ValueBox

Modifier and Type	Method	Description
protected boolean	PASideEffectTester.valueTouchesRWSet(RWSet s, Value v, List<ValueBox> boxes)

Uses of ValueBox in soot.jimple.toolkits.scalar

Methods in soot.jimple.toolkits.scalar with parameters of type ValueBox

Modifier and Type	Method	Description
static void	CopyPropagator.copyLineTags(ValueBox useBox, DefinitionStmt def)

Uses of ValueBox in soot.jimple.toolkits.thread.synchronization

Methods in soot.jimple.toolkits.thread.synchronization that return types with arguments of type ValueBox

Modifier and Type	Method	Description
List<ValueBox>	NewStaticLock.getUseBoxes()

Uses of ValueBox in soot.shimple.internal

Classes in soot.shimple.internal that implement ValueBox

Modifier and Type	Class	Description
class	SValueUnitPair	Extension of ValueUnitPair that implements SUnitBox.

Methods in soot.shimple.internal that return types with arguments of type ValueBox

Modifier and Type	Method	Description
List<ValueBox>	SPhiExpr.getUseBoxes()
List<ValueBox>	SPiExpr.getUseBoxes()
static List<ValueBox>	PiNodeManager.getUseBoxesFromBlock(Block block)

Uses of ValueBox in soot.shimple.toolkits.graph

Methods in soot.shimple.toolkits.graph that return types with arguments of type ValueBox

Modifier and Type	Method	Description
List<ValueBox>	ValueGraph.TypeValueWrapper.getUseBoxes()

Uses of ValueBox in soot.toDex

Methods in soot.toDex that return types with arguments of type ValueBox

Modifier and Type	Method	Description
List<ValueBox>	TemporaryRegisterLocal.getUseBoxes()

Uses of ValueBox in soot.toolkits.scalar

Classes in soot.toolkits.scalar that implement ValueBox

Modifier and Type	Class	Description
class	ValueUnitPair	Utility class used to package a Value and a Unit together.

Fields in soot.toolkits.scalar declared as ValueBox

Modifier and Type	Field	Description
ValueBox	UnitValueBoxPair.valueBox

Methods in soot.toolkits.scalar that return ValueBox

Modifier and Type	Method	Description
ValueBox	UnitValueBoxPair.getValueBox()

Methods in soot.toolkits.scalar that return types with arguments of type ValueBox

Modifier and Type	Method	Description
protected FlowSet<ValueBox>	CombinedDUAnalysis.entryInitialFlow()
protected FlowSet<ValueBox>	CombinedDUAnalysis.newInitialFlow()

Method parameters in soot.toolkits.scalar with type arguments of type ValueBox

Modifier and Type	Method	Description
protected void	CombinedDUAnalysis.copy(FlowSet<ValueBox> source, FlowSet<ValueBox> dest)
protected void	CombinedDUAnalysis.flowThrough(FlowSet<ValueBox> out, Unit u, FlowSet<ValueBox> in)
protected void	CombinedDUAnalysis.merge(FlowSet<ValueBox> inout, FlowSet<ValueBox> in)
protected void	CombinedDUAnalysis.merge(FlowSet<ValueBox> in1, FlowSet<ValueBox> in2, FlowSet<ValueBox> out)

Constructors in soot.toolkits.scalar with parameters of type ValueBox

Constructor	Description
UnitValueBoxPair(Unit unit, ValueBox valueBox)	Constructs a UnitValueBoxPair from a Unit object and a ValueBox object.