Uses of Interface
soot.Value

Packages that use Value

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
soot.dava.internal.AST
soot.dava.internal.javaRep
soot.dava.internal.SET
soot.dava.toolkits.base.AST
soot.dava.toolkits.base.AST.analysis
soot.dava.toolkits.base.AST.structuredAnalysis
soot.dava.toolkits.base.AST.transformations
soot.dava.toolkits.base.AST.traversals
soot.dexpler.typing
soot.dotnet
soot.dotnet.instructions
soot.dotnet.members
soot.dotnet.members.method
soot.dotnet.types
soot.dotnet.values
soot.grimp	Public classes for the Grimp intermediate representation.
soot.grimp.internal	Internal, messy, implementation-specific classes for the Grimp intermediate representation.
soot.JastAddJ
soot.javaToJimple
soot.jimple	Public classes for the Jimple intermediate representation.
soot.jimple.internal	Internal, messy, implementation-specific classes for the Jimple intermediate representation.
soot.jimple.spark.builder
soot.jimple.spark.pag
soot.jimple.toolkits.annotation.nullcheck	Classes that carry out an analysis to determine whether or not null pointer checks are necessary.
soot.jimple.toolkits.annotation.parity
soot.jimple.toolkits.callgraph
soot.jimple.toolkits.ide.exampleproblems
soot.jimple.toolkits.ide.icfg
soot.jimple.toolkits.infoflow
soot.jimple.toolkits.pointer
soot.jimple.toolkits.scalar	A toolkit for scalar optimization of Jimple.
soot.jimple.toolkits.scalar.pre	Particial redundency elimination.
soot.jimple.toolkits.thread
soot.jimple.toolkits.thread.synchronization
soot.jimple.toolkits.typing.fast
soot.shimple	Public classes for the SSA Shimple intermediate representation.
soot.shimple.internal	Shimple internal messy stuff.
soot.shimple.toolkits.graph
soot.shimple.toolkits.scalar	Some analyses based on Shimple.
soot.sootify
soot.toDex
soot.toolkits.exceptions
soot.toolkits.scalar	A number of scalar optimizations, and the flow analysis framework.

Uses of Value in soot

Subinterfaces of Value in soot

Modifier and Type	Interface	Description
interface	Immediate	A local or constant.
interface	Local	A local variable, used within Body classes.

Classes in soot that implement Value

Modifier and Type	Class	Description
class	BooleanConstant
class	ByteConstant
class	CharConstant
class	DecimalConstant
class	EquivalentValue	Encapsulates the Value class, but uses EquivTo for equality comparisons.
class	ShortConstant
class	UByteConstant

Fields in soot declared as Value

Modifier and Type	Field	Description
protected Value	AbstractValueBox.value

Methods in soot that return Value

Modifier and Type	Method	Description
Value	EquivalentValue.getDeepestValue()	Deprecated.
Value	IdentityUnit.getLeftOp()
Value	IdentityUnit.getRightOp()
Value	AbstractValueBox.getValue()
Value	EquivalentValue.getValue()
Value	ValueBox.getValue()	Returns the value contained in this box.

Methods in soot that return types with arguments of type Value

Modifier and Type	Method	Description
List<Value>	Body.getParameterRefs()	Returns the list of parameter references used in this body.

Methods in soot with parameters of type Value

Modifier and Type	Method	Description
boolean	ValueBox.canContainValue(Value value)	Returns true if the given Value fits in this box.
boolean	EquivalentValue.equalsToValue(Value v)	compares the encapsulated value with v, using equals
boolean	EquivalentValue.equivToValue(Value v)	compares the encapsulated value with v, using equivTo
void	AbstractValueBox.setValue(Value value)
void	ValueBox.setValue(Value value)	Sets the value contained in this box as given.
boolean	SideEffectTester.unitCanReadFrom(Unit u, Value v)
boolean	SideEffectTester.unitCanWriteTo(Unit u, Value v)

Method parameters in soot with type arguments of type Value

Modifier and Type	Method	Description
SootMethodRef	LambdaMetaFactory.makeLambdaHelper(List<? extends Value> bootstrapArgs, int tag, String name, Type[] invokedType, SootClass enclosingClass)

Constructors in soot with parameters of type Value

Constructor	Description
EquivalentValue(Value v)

Uses of Value in soot.baf

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

Modifier and Type	Method	Description
List<Value>	DynamicInvokeInst.getBootstrapArgs()

Methods in soot.baf with parameters of type Value

Modifier and Type	Method	Description
IdentityInst	Baf.newIdentityInst(Value local, Value identityRef)
ValueBox	Baf.newIdentityRefBox(Value value)
ValueBox	Baf.newLocalBox(Value value)
void	IdentityInst.setLeftOp(Value variable)
void	IdentityInst.setRightOp(Value rvalue)

Method parameters in soot.baf with type arguments of type Value

Modifier and Type	Method	Description
DynamicInvokeInst	Baf.newDynamicInvokeInst(SootMethodRef bsmMethodRef, List<Value> bsmArgs, SootMethodRef methodRef, int tag)

Uses of Value in soot.baf.internal

Classes in soot.baf.internal that implement Value

Modifier and Type	Class	Description
class	BafLocal

Methods in soot.baf.internal that return Value

Modifier and Type	Method	Description
Value	BIdentityInst.getLeftOp()
Value	BIdentityInst.getRightOp()

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

Modifier and Type	Method	Description
List<Value>	BDynamicInvokeInst.getBootstrapArgs()

Methods in soot.baf.internal with parameters of type Value

Modifier and Type	Method	Description
boolean	BafLocalBox.canContainValue(Value value)
void	BIdentityInst.setLeftOp(Value local)
void	BIdentityInst.setRightOp(Value identityRef)

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

Constructor	Description
BafLocalBox(Value value)
BIdentityInst(Value local, Value identityValue)

Constructor parameters in soot.baf.internal with type arguments of type Value

Constructor	Description
BDynamicInvokeInst(SootMethodRef bsmMethodRef, List<Value> bsmArgs, SootMethodRef methodRef, int tag)

Uses of Value in soot.dava

Methods in soot.dava that return types with arguments of type Value

Modifier and Type	Method	Description
Map<Integer,Value>	DavaBody.get_ParamMap()

Method parameters in soot.dava with type arguments of type Value

Modifier and Type	Method	Description
void	DavaBody.set_ParamMap(Map<Integer,Value> map)

Uses of Value in soot.dava.internal.AST

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

Modifier and Type	Method	Description
Value	ASTSwitchNode.get_Key()
Value	ASTUnaryCondition.getValue()

Methods in soot.dava.internal.AST with parameters of type Value

Modifier and Type	Method	Description
void	ASTSwitchNode.set_Key(Value key)
void	ASTUnaryCondition.setValue(Value value)

Constructors in soot.dava.internal.AST with parameters of type Value

Constructor	Description
ASTSwitchNode(SETNodeLabel label, Value key, List<Object> indexList, Map<Object,List<Object>> index2BodyList)
ASTSynchronizedBlockNode(SETNodeLabel label, List<Object> body, Value local)
ASTUnaryCondition(Value value)

Uses of Value in soot.dava.internal.javaRep

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

Modifier and Type	Class	Description
class	DArrayInitExpr
class	DCmpExpr
class	DCmpgExpr
class	DCmplExpr
class	DInstanceFieldRef
class	DIntConstant
class	DInterfaceInvokeExpr
class	DLengthExpr
class	DNegExpr
class	DNewArrayExpr
class	DNewInvokeExpr
class	DNewMultiArrayExpr
class	DNotExpr
class	DShortcutIf
class	DSpecialInvokeExpr
class	DStaticFieldRef
class	DStaticInvokeExpr
class	DThisRef
class	DVirtualInvokeExpr

Methods in soot.dava.internal.javaRep with parameters of type Value

Modifier and Type	Method	Description
boolean	DArrayInitValueBox.canContainValue(Value value)
void	DAssignStmt.setLeftOp(Value variable)
void	DAssignStmt.setRightOp(Value rvalue)

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

Constructor	Description
DArrayInitValueBox(Value value)
DCmpExpr(Value op1, Value op2)
DCmpgExpr(Value op1, Value op2)
DCmplExpr(Value op1, Value op2)
DDecrementStmt(Value variable, Value rvalue)
DIdentityStmt(Value local, Value identityValue)
DIncrementStmt(Value variable, Value rvalue)
DInstanceFieldRef(Value base, SootFieldRef fieldRef, HashSet<Object> thisLocals)
DInterfaceInvokeExpr(Value base, SootMethodRef methodRef, List args)
DLengthExpr(Value op)
DNegExpr(Value op)
DNewArrayExpr(Type type, Value size)
DNotExpr(Value op)
DSpecialInvokeExpr(Value base, SootMethodRef methodRef, List args)
DVirtualInvokeExpr(Value base, SootMethodRef methodRef, List args, HashSet<Object> thisLocals)

Uses of Value in soot.dava.internal.SET

Constructors in soot.dava.internal.SET with parameters of type Value

Constructor	Description
SETSwitchNode(AugmentedStmt characterizingStmt, Value key, IterableSet body, List<SwitchNode> switchNodeList, IterableSet junkBody)
SETSynchronizedBlockNode(ExceptionNode en, Value local)

Uses of Value in soot.dava.toolkits.base.AST

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

Modifier and Type	Method	Description
void	ASTAnalysis.analyseValue(Value v)
void	ASTWalker.walk_value(ASTAnalysis a, Value v)

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

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

Modifier and Type	Method	Description
void	Analysis.caseValue(Value v)
void	AnalysisAdapter.caseValue(Value v)
void	DepthFirstAdapter.caseValue(Value v)
void	DepthFirstAdapter.decideCaseExprOrRef(Value v)
void	DepthFirstAdapter.inValue(Value v)
void	DepthFirstAdapter.outValue(Value v)

Uses of Value in soot.dava.toolkits.base.AST.structuredAnalysis

Methods in soot.dava.toolkits.base.AST.structuredAnalysis that return Value

Modifier and Type	Method	Description
static Value	CPHelper.createConstant(Object toConvert)

Methods in soot.dava.toolkits.base.AST.structuredAnalysis with parameters of type Value

Modifier and Type	Method	Description
CPTuple	CP.createCPTupleIfPossible(Value a, Value b, CPFlowSet input)
List	MustMayInitialize.getDefs(Value local)
static Object	CPHelper.isAConstantValue(Value toCheck)
boolean	MustMayInitialize.isMayInitialized(Value local)
boolean	MustMayInitialize.isMustInitialized(Value local)
DavaFlowSet	CP.processSwitchKey(Value key, DavaFlowSet input)
DavaFlowSet	MustMayInitialize.processSwitchKey(Value key, DavaFlowSet input)
DavaFlowSet	ReachingCopies.processSwitchKey(Value key, DavaFlowSet input)
DavaFlowSet<Stmt>	ReachingDefs.processSwitchKey(Value key, DavaFlowSet<Stmt> inSet)
abstract DavaFlowSet<E>	StructuredAnalysis.processSwitchKey(Value key, DavaFlowSet<E> input)	Deal with the key in the switch construct
DavaFlowSet	UnreachableCodeFinder.processSwitchKey(Value key, DavaFlowSet input)

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

Methods in soot.dava.toolkits.base.AST.transformations that return Value

Modifier and Type	Method	Description
Value	SuperFirstStmtHandler.getProperCasting(Type tempType, DVirtualInvokeExpr tempInvokeExpr)

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

Modifier and Type	Method	Description
Object	DeInliningFinalFields.check(Value val)
AugmentedStmt	SuperFirstStmtHandler.createStmtAccordingToType(Type tempType, Value tempVal, Local newLocal, SootMethodRef getMethodRef)
Boolean	EliminateConditions.isBooleanConstant(Value internal)
Boolean	SimplifyConditions.isBooleanConstant(Value internal)
boolean	ShortcutArrayInit.isInSequenceAssignment(Stmt s, Value leftOp, int index)
boolean	ShortcutArrayInit.isInSequenceAssignmentPatternTwo(Stmt one, Stmt two, Value leftOp, int index)
void	ShortcutArrayInit.markLocal(Value shortcutLocal)

Uses of Value in soot.dava.toolkits.base.AST.traversals

Methods in soot.dava.toolkits.base.AST.traversals that return types with arguments of type Value

Modifier and Type	Method	Description
List<Value>	AllVariableUses.getUseList(ASTCondition cond)
List<Value>	ASTUsesAndDefs.getUseList(ASTCondition cond)

Uses of Value in soot.dexpler.typing

Classes in soot.dexpler.typing that implement Value

Modifier and Type	Class	Description
class	UntypedConstant
class	UntypedIntOrFloatConstant
class	UntypedLongOrDoubleConstant

Methods in soot.dexpler.typing that return Value

Modifier and Type	Method	Description
abstract Value	UntypedConstant.defineType(Type type)
Value	UntypedIntOrFloatConstant.defineType(Type t)
Value	UntypedLongOrDoubleConstant.defineType(Type t)

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

Modifier and Type	Method	Description
protected void	DalvikTyper.checkExpr(Value v, Type t)

Uses of Value in soot.dotnet

Classes in soot.dotnet that implement Value

Modifier and Type	Class	Description
class	DotnetClassConstant	Expand ClassConstant with .NET type name converter

Uses of Value in soot.dotnet.instructions

Fields in soot.dotnet.instructions with type parameters of type Value

Modifier and Type	Field	Description
protected List<Value>	AbstractNewObjInstanceInstruction.listOfArgs

Methods in soot.dotnet.instructions that return Value

Modifier and Type	Method	Description
Value	CilBinaryNumericInstruction.jimplifyExpr(Body jb)
Value	CilBlock.jimplifyExpr(Body jb)
Value	CilBlockContainer.jimplifyExpr(Body jb)
Value	CILBlockContainerInstr.jimplifyExpr(Body jb)
Value	CilBranchInstruction.jimplifyExpr(Body jb)
Value	CilCallInstruction.jimplifyExpr(Body jb)	Call Expression
Value	CilCastClassUnBoxInstruction.jimplifyExpr(Body jb)
Value	CilCkFiniteInstruction.jimplifyExpr(Body jb)
Value	CilCompInstruction.jimplifyExpr(Body jb)
Value	CilConvInstruction.jimplifyExpr(Body jb)
Value	CilDebugBreakInstruction.jimplifyExpr(Body jb)
Value	CilDefaultValueInstruction.jimplifyExpr(Body jb)
Value	CilIfInstruction.jimplifyExpr(Body jb)
Value	CilILFunctionInstruction.jimplifyExpr(Body jb)
Value	CilInstruction.jimplifyExpr(Body jb)	Jimplify an expression of ILSpy AST statement children
Value	CilIsInstInstruction.jimplifyExpr(Body jb)
Value	CilLdcDecimalInstruction.jimplifyExpr(Body jb)
Value	CilLdcI4Instruction.jimplifyExpr(Body jb)
Value	CilLdcI8Instruction.jimplifyExpr(Body jb)
Value	CilLdcR4Instruction.jimplifyExpr(Body jb)
Value	CilLdcR8Instruction.jimplifyExpr(Body jb)
Value	CilLdElemaInstruction.jimplifyExpr(Body jb)
Value	CilLdElemInstruction.jimplifyExpr(Body jb)
Value	CilLdFldaInstruction.jimplifyExpr(Body jb)
Value	CilLdFtnInstruction.jimplifyExpr(Body jb)	Call Expression
Value	CilLdLenInstruction.jimplifyExpr(Body jb)
Value	CilLdLocInstruction.jimplifyExpr(Body jb)
Value	CilLdMemberTokenInstruction.jimplifyExpr(Body jb)
Value	CilLdNullInstruction.jimplifyExpr(Body jb)
Value	CilLdsFldaInstruction.jimplifyExpr(Body jb)
Value	CilLdStrInstruction.jimplifyExpr(Body jb)
Value	CilLdTypeTokenInstruction.jimplifyExpr(Body jb)
Value	CilLdVirtualFtnInstruction.jimplifyExpr(Body jb)	Call Expression
Value	CilLeaveInstruction.jimplifyExpr(Body jb)
Value	CilLocAllocInstruction.jimplifyExpr(Body jb)
Value	CilMatchInstruction.jimplifyExpr(Body jb)
Value	CilNewArrInstruction.jimplifyExpr(Body jb)
Value	CilNewObjInstruction.jimplifyExpr(Body jb)
Value	CilNopInstruction.jimplifyExpr(Body jb)
Value	CilNotInstruction.jimplifyExpr(Body jb)
Value	CilRefAnyInstruction.jimplifyExpr(Body jb)
Value	CilRefTypeInstruction.jimplifyExpr(Body jb)
Value	CilRethrowInstruction.jimplifyExpr(Body jb)
Value	CilSizeOfInstruction.jimplifyExpr(Body jb)
Value	CilStLocInstruction.jimplifyExpr(Body jb)
Value	CilStObjInstruction.jimplifyExpr(Body jb)
Value	CilSwitchInstruction.jimplifyExpr(Body jb)
Value	CilThrowInstruction.jimplifyExpr(Body jb)
Value	CilTryCatchInstruction.jimplifyExpr(Body jb)
Value	CilTryFaultInstruction.jimplifyExpr(Body jb)
Value	CilTryFinallyInstruction.jimplifyExpr(Body jb)
protected Value	AbstractCilnstruction.simplifyComplexExpression(Body jb, Value var)

Methods in soot.dotnet.instructions that return types with arguments of type Value

Modifier and Type	Method	Description
List<Value>	AbstractNewObjInstanceInstruction.getListOfArgs()

Methods in soot.dotnet.instructions with parameters of type Value

Modifier and Type	Method	Description
protected Local	AbstractCilnstruction.createTempVar(Body jb, Jimple jimple, Value inv)
Body	CatchFilterHandlerBody.getFilterHandlerBody(Value generalExceptionVariable)
void	CilILFunctionInstruction.resolveRewritingIsInst(Body jb, Local variable, Value instanceOfExpr)
protected Value	AbstractCilnstruction.simplifyComplexExpression(Body jb, Value var)

Uses of Value in soot.dotnet.members

Methods in soot.dotnet.members that return Value

Modifier and Type	Method	Description
static Value	AbstractDotnetMember.checkRewriteCilSpecificMember(SootClass declaringClass, String fieldMethodName)	If we have specific return or assignment characteristics, rewrite it (mostly reftypes) Due to the different eco system of .NET and unsafe methods
static Value	ArrayByReferenceWrapperGenerator.createGet(Value holder)
static Value	ByReferenceWrapperGenerator.insertWrapperCall(Body jb, SootClass wrapperClass, Value arg)	Inserts calls to wrap objects

Methods in soot.dotnet.members with parameters of type Value

Modifier and Type	Method	Description
static Value	ArrayByReferenceWrapperGenerator.createGet(Value holder)
static Unit	ArrayByReferenceWrapperGenerator.createSet(Value holder, Value newValue)
static Unit	ByReferenceWrapperGenerator.getUnwrapCall(SootClass wrapperClass, Value argToUnwrap, Value target)	Returns a call to unwrap objects
static Value	ByReferenceWrapperGenerator.insertWrapperCall(Body jb, SootClass wrapperClass, Value arg)	Inserts calls to wrap objects

Uses of Value in soot.dotnet.members.method

Methods in soot.dotnet.members.method that return Value

Modifier and Type	Method	Description
protected Value	DotnetBody.createTempVar(Body jb, Jimple jimple, Value inv)
static Value	DotnetBody.inlineCastExpr(Value v)	Due to three address code, inline cast expr
static Value	DotnetBodyVariableManager.inlineLocals(Value v, Body jb)	Recursively get value of a locals chain

Methods in soot.dotnet.members.method with parameters of type Value

Modifier and Type	Method	Description
protected Value	DotnetBody.createTempVar(Body jb, Jimple jimple, Value inv)
InvokeStmt	DelegateHandler.DelegateInfo.getCallToDelegateCreator(Local delegateObj, Value base, int num)
static Value	DotnetBody.inlineCastExpr(Value v)	Due to three address code, inline cast expr
static Value	DotnetBodyVariableManager.inlineLocals(Value v, Body jb)	Recursively get value of a locals chain

Uses of Value in soot.dotnet.types

Methods in soot.dotnet.types that return Value

Modifier and Type	Method	Description
static Value	DotnetTypeFactory.initType(Local variable)	Return a initial value for the given type of the variable
static Value	DotnetTypeFactory.initType(Type t)

Uses of Value in soot.dotnet.values

Classes in soot.dotnet.values that implement Value

Modifier and Type	Class	Description
class	FunctionPointerConstant	Function pointer constants point to a specific method.

Uses of Value in soot.grimp

Subinterfaces of Value in soot.grimp

Modifier and Type	Interface	Description
interface	NewInvokeExpr

Methods in soot.grimp that return Value

Modifier and Type	Method	Description
static Value	Grimp.cloneIfNecessary(Value val)
Value	Grimp.newExpr(Value value)	Carries out the mapping from other Value's to Grimp Value's

Methods in soot.grimp with parameters of type Value

Modifier and Type	Method	Description
static Value	Grimp.cloneIfNecessary(Value val)
static boolean	PrecedenceTest.needsBrackets(ValueBox subExprBox, Value expr)
static boolean	PrecedenceTest.needsBracketsRight(ValueBox subExprBox, Value expr)
AddExpr	Grimp.newAddExpr(Value op1, Value op2)	Constructs a AddExpr(Expr, Expr) grammar chunk.
AndExpr	Grimp.newAndExpr(Value op1, Value op2)	Constructs a AndExpr(Expr, Expr) grammar chunk.
ValueBox	Grimp.newArgBox(Value value)
ArrayRef	Grimp.newArrayRef(Value base, Value index)	Constructs a ArrayRef(Local, Expr) grammar chunk.
AssignStmt	Grimp.newAssignStmt(Value variable, Value rvalue)	Constructs a AssignStmt(Variable, RValue) grammar chunk.
CastExpr	Grimp.newCastExpr(Value op1, Type t)	Constructs a CastExpr(Expr, Type) grammar chunk.
CmpExpr	Grimp.newCmpExpr(Value op1, Value op2)	Constructs a CmpExpr(Expr, Expr) grammar chunk.
CmpgExpr	Grimp.newCmpgExpr(Value op1, Value op2)	Constructs a CmpgExpr(Expr, Expr) grammar chunk.
CmplExpr	Grimp.newCmplExpr(Value op1, Value op2)	Constructs a CmplExpr(Expr, Expr) grammar chunk.
ValueBox	Grimp.newConditionExprBox(Value value)
DivExpr	Grimp.newDivExpr(Value op1, Value op2)	Constructs a DivExpr(Expr, Expr) grammar chunk.
EnterMonitorStmt	Grimp.newEnterMonitorStmt(Value op)	Constructs a EnterMonitorStmt(Expr) grammar chunk.
EqExpr	Grimp.newEqExpr(Value op1, Value op2)	Constructs a EqExpr(Expr, Expr) grammar chunk.
ExitMonitorStmt	Grimp.newExitMonitorStmt(Value op)	Constructs a ExitMonitorStmt(Expr) grammar chunk
Value	Grimp.newExpr(Value value)	Carries out the mapping from other Value's to Grimp Value's
ValueBox	Grimp.newExprBox(Value value)
GeExpr	Grimp.newGeExpr(Value op1, Value op2)	Constructs a GeExpr(Expr, Expr) grammar chunk.
GtExpr	Grimp.newGtExpr(Value op1, Value op2)	Constructs a GtExpr(Expr, Expr) grammar chunk.
ValueBox	Grimp.newIdentityRefBox(Value value)
IdentityStmt	Grimp.newIdentityStmt(Value local, Value identityRef)	Constructs a IdentityStmt(Local, IdentityRef) grammar chunk.
IfStmt	Grimp.newIfStmt(Value condition, Unit target)	Constructs a IfStmt(Condition, Stmt) grammar chunk.
ValueBox	Grimp.newImmediateBox(Value value)
InstanceFieldRef	Grimp.newInstanceFieldRef(Value base, SootFieldRef f)	Constructs a InstanceFieldRef(Value, SootFieldRef) grammar chunk.
InstanceOfExpr	Grimp.newInstanceOfExpr(Value op1, Type t)	Constructs a InstanceOfExpr(Expr, Type) grammar chunk.
ValueBox	Grimp.newInvokeExprBox(Value value)
InvokeStmt	Grimp.newInvokeStmt(Value op)	Constructs a InvokeStmt(InvokeExpr) grammar chunk.
LeExpr	Grimp.newLeExpr(Value op1, Value op2)	Constructs a LeExpr(Expr, Expr) grammar chunk.
LengthExpr	Grimp.newLengthExpr(Value op)	Constructs a LengthExpr(Expr) grammar chunk.
ValueBox	Grimp.newLocalBox(Value value)
LookupSwitchStmt	Grimp.newLookupSwitchStmt(Value key, List lookupValues, List targets, Unit defaultTarget)	Constructs a LookupSwitchStmt(Expr, List of Expr, List of Unit, Stmt) grammar chunk.
LtExpr	Grimp.newLtExpr(Value op1, Value op2)	Constructs a LtExpr(Expr, Expr) grammar chunk.
MulExpr	Grimp.newMulExpr(Value op1, Value op2)	Constructs a MulExpr(Expr, Expr) grammar chunk.
NeExpr	Grimp.newNeExpr(Value op1, Value op2)	Constructs a NeExpr(Expr, Expr) grammar chunk.
NegExpr	Grimp.newNegExpr(Value op)	Constructs a NegExpr(Expr, Expr) grammar chunk.
NewArrayExpr	Grimp.newNewArrayExpr(Type type, Value size)	Constructs a NewArrayExpr(Type, Expr) grammar chunk.
ValueBox	Grimp.newObjExprBox(Value value)
OrExpr	Grimp.newOrExpr(Value op1, Value op2)	Constructs a OrExpr(Expr, Expr) grammar chunk.
RemExpr	Grimp.newRemExpr(Value op1, Value op2)	Constructs a RemExpr(Expr, Expr) grammar chunk.
ReturnStmt	Grimp.newReturnStmt(Value op)	Constructs a ReturnStmt(Expr) grammar chunk.
ValueBox	Grimp.newRValueBox(Value value)
ShlExpr	Grimp.newShlExpr(Value op1, Value op2)	Constructs a ShlExpr(Expr, Expr) grammar chunk.
ShrExpr	Grimp.newShrExpr(Value op1, Value op2)	Constructs a ShrExpr(Expr, Expr) grammar chunk.
SubExpr	Grimp.newSubExpr(Value op1, Value op2)	Constructs a SubExpr(Expr, Expr) grammar chunk.
TableSwitchStmt	Grimp.newTableSwitchStmt(Value key, int lowIndex, int highIndex, List targets, Unit defaultTarget)	Constructs a TableSwitchStmt(Expr, int, int, List of Unit, Stmt) grammar chunk.
ThrowStmt	Grimp.newThrowStmt(Value op)	Constructs a ThrowStmt(Expr) grammar chunk.
UshrExpr	Grimp.newUshrExpr(Value op1, Value op2)	Constructs a UshrExpr(Expr, Expr) grammar chunk.
ValueBox	Grimp.newVariableBox(Value value)
XorExpr	Grimp.newXorExpr(Value op1, Value op2)	Constructs a XorExpr(Expr, Expr) grammar chunk.

Method parameters in soot.grimp with type arguments of type Value

Modifier and Type	Method	Description
DynamicInvokeExpr	Grimp.newDynamicInvokeExpr(SootMethodRef bootstrapMethodRef, List<Value> bootstrapArgs, SootMethodRef methodRef, int tag, List args)	Constructs a new DynamicInvokeExpr grammar chunk.

Uses of Value in soot.grimp.internal

Classes in soot.grimp.internal that implement Value

Modifier and Type	Class	Description
class	AbstractGrimpFloatBinopExpr
class	AbstractGrimpIntBinopExpr
class	AbstractGrimpIntLongBinopExpr
class	GAddExpr
class	GAndExpr
class	GArrayRef
class	GCastExpr
class	GCmpExpr
class	GCmpgExpr
class	GCmplExpr
class	GDivExpr
class	GDynamicInvokeExpr
class	GEqExpr
class	GGeExpr
class	GGtExpr
class	GInstanceFieldRef
class	GInstanceOfExpr
class	GInterfaceInvokeExpr
class	GLeExpr
class	GLengthExpr
class	GLtExpr
class	GMulExpr
class	GNeExpr
class	GNegExpr
class	GNewArrayExpr
class	GNewInvokeExpr
class	GNewMultiArrayExpr
class	GOrExpr
class	GRemExpr
class	GShlExpr
class	GShrExpr
class	GSpecialInvokeExpr
class	GStaticInvokeExpr
class	GSubExpr
class	GUshrExpr
class	GVirtualInvokeExpr
class	GXorExpr

Methods in soot.grimp.internal that return Value

Modifier and Type	Method	Description
Value	GDynamicInvokeExpr.getBootstrapArg(int i)

Methods in soot.grimp.internal that return types with arguments of type Value

Modifier and Type	Method	Description
List<Value>	GDynamicInvokeExpr.getBootstrapArgs()

Methods in soot.grimp.internal with parameters of type Value

Modifier and Type	Method	Description
boolean	ExprBox.canContainValue(Value value)
boolean	GRValueBox.canContainValue(Value value)
boolean	ObjExprBox.canContainValue(Value value)

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

Constructor	Description
AbstractGrimpIntBinopExpr(Value op1, Value op2)
ExprBox(Value value)
GAddExpr(Value op1, Value op2)
GAndExpr(Value op1, Value op2)
GArrayRef(Value base, Value index)
GAssignStmt(Value variable, Value rvalue)
GCastExpr(Value op, Type type)
GCmpExpr(Value op1, Value op2)
GCmpgExpr(Value op1, Value op2)
GCmplExpr(Value op1, Value op2)
GDivExpr(Value op1, Value op2)
GEnterMonitorStmt(Value op)
GEqExpr(Value op1, Value op2)
GExitMonitorStmt(Value op)
GGeExpr(Value op1, Value op2)
GGtExpr(Value op1, Value op2)
GIdentityStmt(Value local, Value identityValue)
GIfStmt(Value condition, Unit target)
GInstanceFieldRef(Value base, SootFieldRef fieldRef)
GInstanceOfExpr(Value op, Type checkType)
GInterfaceInvokeExpr(Value base, SootMethodRef methodRef, List<? extends Value> args)
GInvokeStmt(Value c)
GLeExpr(Value op1, Value op2)
GLengthExpr(Value op)
GLookupSwitchStmt(Value key, List<IntConstant> lookupValues, List<? extends Unit> targets, Unit defaultTarget)
GLtExpr(Value op1, Value op2)
GMulExpr(Value op1, Value op2)
GNeExpr(Value op1, Value op2)
GNegExpr(Value op)
GNewArrayExpr(Type type, Value size)
GOrExpr(Value op1, Value op2)
GRemExpr(Value op1, Value op2)
GReturnStmt(Value returnValue)
GRValueBox(Value value)
GShlExpr(Value op1, Value op2)
GShrExpr(Value op1, Value op2)
GSpecialInvokeExpr(Value base, SootMethodRef methodRef, List<? extends Value> args)
GSubExpr(Value op1, Value op2)
GTableSwitchStmt(Value key, int lowIndex, int highIndex, List<? extends Unit> targets, Unit defaultTarget)
GThrowStmt(Value op)
GUshrExpr(Value op1, Value op2)
GVirtualInvokeExpr(Value base, SootMethodRef methodRef, List<? extends Value> args)
GXorExpr(Value op1, Value op2)
ObjExprBox(Value value)

Constructor parameters in soot.grimp.internal with type arguments of type Value

Constructor	Description
GDynamicInvokeExpr(SootMethodRef bootStrapMethodRef, List<? extends Value> bootstrapArgs, SootMethodRef methodRef, int tag, List<? extends Value> methodArgs)
GInterfaceInvokeExpr(Value base, SootMethodRef methodRef, List<? extends Value> args)
GNewInvokeExpr(RefType type, SootMethodRef methodRef, List<? extends Value> args)
GNewMultiArrayExpr(ArrayType type, List<? extends Value> sizes)
GSpecialInvokeExpr(Value base, SootMethodRef methodRef, List<? extends Value> args)
GStaticInvokeExpr(SootMethodRef methodRef, List<? extends Value> args)
GVirtualInvokeExpr(Value base, SootMethodRef methodRef, List<? extends Value> args)

Uses of Value in soot.JastAddJ

Methods in soot.JastAddJ that return Value

Modifier and Type	Method	Description
Value	ASTNode.asRValue(Body b, Value v)
Value	EQExpr.comparison(Body b, Value left, Value right)
Value	GEExpr.comparison(Body b, Value left, Value right)
Value	GTExpr.comparison(Body b, Value left, Value right)
Value	LEExpr.comparison(Body b, Value left, Value right)
Value	LTExpr.comparison(Body b, Value left, Value right)
Value	NEExpr.comparison(Body b, Value left, Value right)
Value	RelationalExpr.comparison(Body b, Value left, Value right)
Value	EQExpr.comparisonInv(Body b, Value left, Value right)
Value	GEExpr.comparisonInv(Body b, Value left, Value right)
Value	GTExpr.comparisonInv(Body b, Value left, Value right)
Value	LEExpr.comparisonInv(Body b, Value left, Value right)
Value	LTExpr.comparisonInv(Body b, Value left, Value right)
Value	NEExpr.comparisonInv(Body b, Value left, Value right)
Value	RelationalExpr.comparisonInv(Body b, Value left, Value right)
Value	AssignAndExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignDivExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignLShiftExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignMinusExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignModExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignMulExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignOrExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignPlusExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignRShiftExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignURShiftExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignXorExpr.createAssignOp(Body b, Value fst, Value snd)
protected Value	Expr.emitBooleanCondition(Body b)
protected Value	TypeDecl.emitBoxingOperation(Body b, Value v, ASTNode location)
Value	BooleanType.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
Value	NullType.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
Value	NumericType.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
Value	ReferenceType.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
Value	TypeDecl.emitCastTo(Body b, Expr expr, TypeDecl type)
Value	TypeDecl.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
static Value	ASTNode.emitConstant(Constant constant)
static Value	BooleanType.emitConstant(boolean b)
static Value	IntType.emitConstant(int i)
Value	Access.emitLoadLocalInNestedClass(Body b, Variable v)
Value	AddExpr.emitOperation(Body b, Value left, Value right)
Value	AndBitwiseExpr.emitOperation(Body b, Value left, Value right)
Value	Binary.emitOperation(Body b, Value left, Value right)
Value	DivExpr.emitOperation(Body b, Value left, Value right)
Value	LShiftExpr.emitOperation(Body b, Value left, Value right)
Value	ModExpr.emitOperation(Body b, Value left, Value right)
Value	MulExpr.emitOperation(Body b, Value left, Value right)
Value	OrBitwiseExpr.emitOperation(Body b, Value left, Value right)
Value	RShiftExpr.emitOperation(Body b, Value left, Value right)
Value	SubExpr.emitOperation(Body b, Value left, Value right)
Value	URShiftExpr.emitOperation(Body b, Value left, Value right)
Value	XorBitwiseExpr.emitOperation(Body b, Value left, Value right)
Value	Unary.emitPostfix(Body b, int constant)
Value	Unary.emitPrefix(Body b, int constant)
Value	AssignExpr.emitShiftExpr(Body b)
Value	Binary.emitShiftExpr(Body b)
Value	AbstractDot.emitStore(Body b, Value lvalue, Value rvalue, ASTNode location)
Value	Expr.emitStore(Body b, Value lvalue, Value rvalue, ASTNode location)
Value	VarAccess.emitStore(Body b, Value lvalue, Value rvalue, ASTNode location)
protected Value	TypeDecl.emitUnboxingOperation(Body b, Value v, ASTNode location)
Value	AbstractDot.eval(Body b)
Value	AddExpr.eval(Body b)
Value	ArrayAccess.eval(Body b)
Value	ArrayCreationExpr.eval(Body b)
Value	ArrayInit.eval(Body b)
Value	AssignExpr.eval(Body b)
Value	AssignLShiftExpr.eval(Body b)
Value	AssignPlusExpr.eval(Body b)
Value	AssignRShiftExpr.eval(Body b)
Value	AssignSimpleExpr.eval(Body b)
Value	AssignURShiftExpr.eval(Body b)
Value	Binary.eval(Body b)
Value	BitNotExpr.eval(Body b)
Value	BooleanLiteral.eval(Body b)
Value	CastExpr.eval(Body b)
Value	CharacterLiteral.eval(Body b)
Value	ClassAccess.eval(Body b)
Value	ClassInstanceExpr.eval(Body b)
Value	ConditionalExpr.eval(Body b)
Value	ConstructorAccess.eval(Body b)
Value	DoubleLiteral.eval(Body b)
Value	Expr.eval(Body b)
Value	FloatingPointLiteral.eval(Body b)
Value	InstanceOfExpr.eval(Body b)
Value	IntegerLiteral.eval(Body b)
Value	LogicalExpr.eval(Body b)
Value	LogNotExpr.eval(Body b)
Value	LongLiteral.eval(Body b)
Value	LShiftExpr.eval(Body b)
Value	MethodAccess.eval(Body b)
Value	MinusExpr.eval(Body b)
Value	NullLiteral.eval(Body b)
Value	ParExpr.eval(Body b)
Value	PlusExpr.eval(Body b)
Value	PostDecExpr.eval(Body b)
Value	PostIncExpr.eval(Body b)
Value	PreDecExpr.eval(Body b)
Value	PreIncExpr.eval(Body b)
Value	RelationalExpr.eval(Body b)
Value	RShiftExpr.eval(Body b)
Value	StringLiteral.eval(Body b)
Value	SuperAccess.eval(Body b)
Value	SuperConstructorAccess.eval(Body b)
Value	ThisAccess.eval(Body b)
Value	Unary.eval(Body b)
Value	URShiftExpr.eval(Body b)
Value	VarAccess.eval(Body b)
Value	VarAccess.refined_Expressions_VarAccess_emitStore(Body b, Value lvalue, Value rvalue, ASTNode location)
Value	VarAccess.refined_Expressions_VarAccess_eval(Body b)

Methods in soot.JastAddJ with parameters of type Value

Modifier and Type	Method	Description
Immediate	ASTNode.asImmediate(Body b, Value v)
Local	ASTNode.asLocal(Body b, Value v)
Local	ASTNode.asLocal(Body b, Value v, Type t)
Value	ASTNode.asRValue(Body b, Value v)
Value	EQExpr.comparison(Body b, Value left, Value right)
Value	GEExpr.comparison(Body b, Value left, Value right)
Value	GTExpr.comparison(Body b, Value left, Value right)
Value	LEExpr.comparison(Body b, Value left, Value right)
Value	LTExpr.comparison(Body b, Value left, Value right)
Value	NEExpr.comparison(Body b, Value left, Value right)
Value	RelationalExpr.comparison(Body b, Value left, Value right)
Value	EQExpr.comparisonInv(Body b, Value left, Value right)
Value	GEExpr.comparisonInv(Body b, Value left, Value right)
Value	GTExpr.comparisonInv(Body b, Value left, Value right)
Value	LEExpr.comparisonInv(Body b, Value left, Value right)
Value	LTExpr.comparisonInv(Body b, Value left, Value right)
Value	NEExpr.comparisonInv(Body b, Value left, Value right)
Value	RelationalExpr.comparisonInv(Body b, Value left, Value right)
void	Body.copyLocation(Value fromValue, Value toValue)
Value	AssignAndExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignDivExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignLShiftExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignMinusExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignModExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignMulExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignOrExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignPlusExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignRShiftExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignURShiftExpr.createAssignOp(Body b, Value fst, Value snd)
Value	AssignXorExpr.createAssignOp(Body b, Value fst, Value snd)
protected Value	TypeDecl.emitBoxingOperation(Body b, Value v, ASTNode location)
Value	BooleanType.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
Value	NullType.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
Value	NumericType.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
Value	ReferenceType.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
Value	TypeDecl.emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)
Value	AddExpr.emitOperation(Body b, Value left, Value right)
Value	AndBitwiseExpr.emitOperation(Body b, Value left, Value right)
Value	Binary.emitOperation(Body b, Value left, Value right)
Value	DivExpr.emitOperation(Body b, Value left, Value right)
Value	LShiftExpr.emitOperation(Body b, Value left, Value right)
Value	ModExpr.emitOperation(Body b, Value left, Value right)
Value	MulExpr.emitOperation(Body b, Value left, Value right)
Value	OrBitwiseExpr.emitOperation(Body b, Value left, Value right)
Value	RShiftExpr.emitOperation(Body b, Value left, Value right)
Value	SubExpr.emitOperation(Body b, Value left, Value right)
Value	URShiftExpr.emitOperation(Body b, Value left, Value right)
Value	XorBitwiseExpr.emitOperation(Body b, Value left, Value right)
Value	AbstractDot.emitStore(Body b, Value lvalue, Value rvalue, ASTNode location)
Value	Expr.emitStore(Body b, Value lvalue, Value rvalue, ASTNode location)
Value	VarAccess.emitStore(Body b, Value lvalue, Value rvalue, ASTNode location)
protected Value	TypeDecl.emitUnboxingOperation(Body b, Value v, ASTNode location)
BinopExpr	Body.newAddExpr(Value op1, Value op2, ASTNode location)
BinopExpr	Body.newAndExpr(Value op1, Value op2, ASTNode location)
ArrayRef	Body.newArrayRef(Value base, Value index, ASTNode location)
AssignStmt	Body.newAssignStmt(Value variable, Value rvalue, ASTNode location)
CastExpr	Body.newCastExpr(Value op1, Type t, ASTNode location)
BinopExpr	Body.newCmpExpr(Value op1, Value op2, ASTNode location)
BinopExpr	Body.newCmpgExpr(Value op1, Value op2, ASTNode location)
BinopExpr	Body.newCmplExpr(Value op1, Value op2, ASTNode location)
BinopExpr	Body.newDivExpr(Value op1, Value op2, ASTNode location)
EnterMonitorStmt	Body.newEnterMonitorStmt(Value op, ASTNode location)
BinopExpr	Body.newEqExpr(Value op1, Value op2, ASTNode location)
ExitMonitorStmt	Body.newExitMonitorStmt(Value op, ASTNode location)
BinopExpr	Body.newGeExpr(Value op1, Value op2, ASTNode location)
BinopExpr	Body.newGtExpr(Value op1, Value op2, ASTNode location)
IdentityStmt	Body.newIdentityStmt(Value local, Value identityRef, ASTNode location)
IfStmt	Body.newIfStmt(Value op, Unit target, ASTNode location)
InstanceFieldRef	Body.newInstanceFieldRef(Value base, SootFieldRef f, ASTNode location)
InstanceOfExpr	Body.newInstanceOfExpr(Value op1, Type t, ASTNode location)
InterfaceInvokeExpr	Body.newInterfaceInvokeExpr(Local base, SootMethodRef method, Value arg, ASTNode location)
InvokeStmt	Body.newInvokeStmt(Value op, ASTNode location)
BinopExpr	Body.newLeExpr(Value op1, Value op2, ASTNode location)
UnopExpr	Body.newLengthExpr(Value op, ASTNode location)
LookupSwitchStmt	Body.newLookupSwitchStmt(Value key, List lookupValues, List targets, Unit defaultTarget, ASTNode location)
BinopExpr	Body.newLtExpr(Value op1, Value op2, ASTNode location)
BinopExpr	Body.newMulExpr(Value op1, Value op2, ASTNode location)
BinopExpr	Body.newNeExpr(Value op1, Value op2, ASTNode location)
UnopExpr	Body.newNegExpr(Value op, ASTNode location)
NewArrayExpr	Body.newNewArrayExpr(Type type, Value size, ASTNode location)
BinopExpr	Body.newOrExpr(Value op1, Value op2, ASTNode location)
BinopExpr	Body.newRemExpr(Value op1, Value op2, ASTNode location)
ReturnStmt	Body.newReturnStmt(Value op, ASTNode location)
BinopExpr	Body.newShlExpr(Value op1, Value op2, ASTNode location)
BinopExpr	Body.newShrExpr(Value op1, Value op2, ASTNode location)
SpecialInvokeExpr	Body.newSpecialInvokeExpr(Local base, SootMethodRef method, Value arg, ASTNode location)
StaticInvokeExpr	Body.newStaticInvokeExpr(SootMethodRef method, Value arg, ASTNode location)
BinopExpr	Body.newSubExpr(Value op1, Value op2, ASTNode location)
TableSwitchStmt	Body.newTableSwitchStmt(Value key, int lowIndex, int highIndex, List targets, Unit defaultTarget, ASTNode location)
Local	Body.newTemp(Value v)
ThrowStmt	Body.newThrowStmt(Value op, ASTNode location)
BinopExpr	Body.newUshrExpr(Value op1, Value op2, ASTNode location)
VirtualInvokeExpr	Body.newVirtualInvokeExpr(Local base, SootMethodRef method, Value arg, ASTNode location)
BinopExpr	Body.newXorExpr(Value op1, Value op2, ASTNode location)
Value	VarAccess.refined_Expressions_VarAccess_emitStore(Body b, Value lvalue, Value rvalue, ASTNode location)

Uses of Value in soot.javaToJimple

Fields in soot.javaToJimple with type parameters of type Value

Modifier and Type	Field	Description
protected Stack<Value>	JimpleBodyBuilder.monitorStack

Methods in soot.javaToJimple that return Value

Modifier and Type	Method	Description
protected Value	AbstractJimpleBodyBuilder.createAggressiveExpr(polyglot.ast.Expr expr, boolean reduceAggressively, boolean reverseCondIfNec)
protected Value	AccessFieldJBB.createAggressiveExpr(polyglot.ast.Expr expr, boolean redAgg, boolean revIfNec)
protected Value	CommaJBB.createAggressiveExpr(polyglot.ast.Expr expr, boolean redAggr, boolean revIfNec)
protected Value	JimpleBodyBuilder.createAggressiveExpr(polyglot.ast.Expr expr, boolean reduceAggressively, boolean reverseCondIfNec)	Aggressive Expression Creation make reduceAggressively true to not reduce all the way to a local
protected Value	AbstractJimpleBodyBuilder.createLHS(polyglot.ast.Expr expr)
protected Value	AccessFieldJBB.createLHS(polyglot.ast.Expr expr)
protected Value	JimpleBodyBuilder.createLHS(polyglot.ast.Expr expr)	create LHS expressions
protected Value	JimpleBodyBuilder.getAssignLocal(polyglot.ast.Assign assign)	Assign Expression Creation
protected Value	AbstractJimpleBodyBuilder.getAssignRightLocal(polyglot.ast.Assign assign, Local leftLocal)
protected Value	JimpleBodyBuilder.getAssignRightLocal(polyglot.ast.Assign assign, Local leftLocal)
protected Value	AbstractJimpleBodyBuilder.getBaseLocal(polyglot.ast.Receiver receiver)
protected Value	JimpleBodyBuilder.getBaseLocal(polyglot.ast.Receiver receiver)
protected Value	AbstractJimpleBodyBuilder.getSimpleAssignRightLocal(polyglot.ast.Assign assign)
protected Value	JimpleBodyBuilder.getSimpleAssignRightLocal(polyglot.ast.Assign assign)

Methods in soot.javaToJimple with parameters of type Value

Modifier and Type	Method	Description
protected Local	AbstractJimpleBodyBuilder.handlePrivateFieldSet(polyglot.ast.Expr expr, Value right, Value base)
protected Local	AccessFieldJBB.handlePrivateFieldSet(polyglot.ast.Expr expr, Value right, Value baseLocal)
protected Local	JimpleBodyBuilder.handlePrivateFieldSet(polyglot.ast.Expr expr, Value right, Value base)

Uses of Value in soot.jimple

Subinterfaces of Value in soot.jimple

Modifier and Type	Interface	Description
interface	AddExpr
interface	AndExpr
interface	AnyNewExpr	Any expression that allocates objects.
interface	ArrayRef
interface	BinopExpr
interface	CastExpr
interface	CaughtExceptionRef
interface	CmpExpr
interface	CmpgExpr
interface	CmplExpr
interface	ConcreteRef
interface	ConditionExpr
interface	DivExpr
interface	DynamicInvokeExpr
interface	EqExpr
interface	Expr
interface	FieldRef
interface	GeExpr
interface	GtExpr
interface	IdentityRef
interface	InstanceFieldRef
interface	InstanceInvokeExpr
interface	InstanceOfExpr
interface	InterfaceInvokeExpr
interface	InvokeExpr	Represents method invocation expression.
interface	LeExpr
interface	LengthExpr
interface	LtExpr
interface	MulExpr
interface	NeExpr
interface	NegExpr
interface	NewArrayExpr
interface	NewExpr
interface	NewMultiArrayExpr
interface	OrExpr
interface	Ref
interface	RemExpr
interface	ShlExpr
interface	ShrExpr
interface	SpecialInvokeExpr
interface	StaticInvokeExpr
interface	SubExpr
interface	UnopExpr
interface	UshrExpr
interface	VirtualInvokeExpr
interface	XorExpr

Classes in soot.jimple that implement Value

Modifier and Type	Class	Description
class	ArithmeticConstant
class	ClassConstant
class	Constant
class	DoubleConstant	Floating point constant with double precision.
class	FloatConstant	Floating point constant with single precision.
class	IntConstant
class	LongConstant
class	MethodHandle
class	MethodType
class	NullConstant
class	NumericConstant
class	ParameterRef	ParameterRef objects are used by Body objects to refer to the parameter slots on method entry.
class	RealConstant	Base type for floating point constants.
class	StaticFieldRef
class	StringConstant
class	ThisRef
class	UIntConstant	.NET unsigned integer constant
class	ULongConstant	.NET unsigned long constant
class	UShortConstant	An unsigned .NEt short constant.

Methods in soot.jimple that return Value

Modifier and Type	Method	Description
static Value	Jimple.cloneIfNecessary(Value val)
Value	InvokeExpr.getArg(int index)
Value	ArrayRef.getBase()
Value	InstanceFieldRef.getBase()
Value	InstanceInvokeExpr.getBase()
Value	DynamicInvokeExpr.getBootstrapArg(int index)
Value	IfStmt.getCondition()
Value	ArrayRef.getIndex()
Value	SwitchStmt.getKey()
Value	DefinitionStmt.getLeftOp()
Value	CastExpr.getOp()
Value	EnterMonitorStmt.getOp()
Value	ExitMonitorStmt.getOp()
Value	InstanceOfExpr.getOp()
Value	MonitorStmt.getOp()
Value	ReturnStmt.getOp()
Value	ThrowStmt.getOp()
Value	UnopExpr.getOp()
Value	BinopExpr.getOp1()
Value	BinopExpr.getOp2()
Value	DefinitionStmt.getRightOp()
Value	NewArrayExpr.getSize()
Value	NewMultiArrayExpr.getSize(int index)
Value	RetStmt.getStmtAddress()

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

Modifier and Type	Method	Description
List<Value>	InvokeExpr.getArgs()
List<Value>	DynamicInvokeExpr.getBootstrapArgs()
List<Value>	NewMultiArrayExpr.getSizes()

Methods in soot.jimple with parameters of type Value

Modifier and Type	Method	Description
protected abstract void	PointerStmtSwitch.caseAssignConstStmt(Value dest, Constant c)	A statement of the form l = constant;
static Value	Jimple.cloneIfNecessary(Value val)
AddExpr	Jimple.newAddExpr(Value op1, Value op2)	Constructs a AddExpr(Immediate, Immediate) grammar chunk.
AndExpr	Jimple.newAndExpr(Value op1, Value op2)	Constructs a AndExpr(Immediate, Immediate) grammar chunk.
ValueBox	Jimple.newArgBox(Value value)
ArrayRef	Jimple.newArrayRef(Value base, Value index)	Constructs a ArrayRef(Local, Immediate) grammar chunk.
AssignStmt	Jimple.newAssignStmt(Value variable, Value rvalue)	Constructs a AssignStmt(Variable, RValue) grammar chunk.
CastExpr	Jimple.newCastExpr(Value op1, Type t)	Constructs a CastExpr(Immediate, Type) grammar chunk.
AddExpr	Jimple.newCheckedAddExpr(Value op1, Value op2)	Constructs a CheckedAddExpr(Immediate, Immediate) grammar chunk.
CastExpr	Jimple.newCheckedCastExpr(Value op1, Type t)	Constructs a CheckedCastExpr(Immediate, Type) grammar chunk.
MulExpr	Jimple.newCheckedMulExpr(Value op1, Value op2)	Constructs a CheckedMulExpr(Immediate, Immediate) grammar chunk.
SubExpr	Jimple.newCheckedSubExpr(Value op1, Value op2)	Constructs a CheckedSubExpr(Immediate, Immediate) grammar chunk.
CmpExpr	Jimple.newCmpExpr(Value op1, Value op2)	Constructs a CmpExpr(Immediate, Immediate) grammar chunk.
CmpgExpr	Jimple.newCmpgExpr(Value op1, Value op2)	Constructs a CmpgExpr(Immediate, Immediate) grammar chunk.
CmplExpr	Jimple.newCmplExpr(Value op1, Value op2)	Constructs a CmplExpr(Immediate, Immediate) grammar chunk.
ValueBox	Jimple.newConditionExprBox(Value value)
DivExpr	Jimple.newDivExpr(Value op1, Value op2)	Constructs a DivExpr(Immediate, Immediate) grammar chunk.
EnterMonitorStmt	Jimple.newEnterMonitorStmt(Value op)	Constructs a EnterMonitorStmt(Immediate) grammar chunk.
EqExpr	Jimple.newEqExpr(Value op1, Value op2)	Constructs a EqExpr(Immediate, Immediate) grammar chunk.
ExitMonitorStmt	Jimple.newExitMonitorStmt(Value op)	Constructs a ExitMonitorStmt(Immediate) grammar chunk
GeExpr	Jimple.newGeExpr(Value op1, Value op2)	Constructs a GeExpr(Immediate, Immediate) grammar chunk.
GtExpr	Jimple.newGtExpr(Value op1, Value op2)	Constructs a GtExpr(Immediate, Immediate) grammar chunk.
ValueBox	Jimple.newIdentityRefBox(Value value)
IdentityStmt	Jimple.newIdentityStmt(Value local, Value identityRef)	Constructs a IdentityStmt(Local, IdentityRef) grammar chunk.
IfStmt	Jimple.newIfStmt(Value condition, Unit target)	Constructs a IfStmt(Condition, Stmt) grammar chunk.
IfStmt	Jimple.newIfStmt(Value condition, UnitBox target)	Constructs a IfStmt(Condition, UnitBox) grammar chunk.
ValueBox	Jimple.newImmediateBox(Value value)
InstanceFieldRef	Jimple.newInstanceFieldRef(Value base, SootFieldRef f)	Constructs a InstanceFieldRef(Local, SootFieldRef) grammar chunk.
InstanceOfExpr	Jimple.newInstanceOfExpr(Value op1, Type t)	Constructs a InstanceOfExpr(Immediate, Type) grammar chunk.
InterfaceInvokeExpr	Jimple.newInterfaceInvokeExpr(Local base, SootMethodRef method, Value arg)
InterfaceInvokeExpr	Jimple.newInterfaceInvokeExpr(Local base, SootMethodRef method, Value... args)	Constructs a NewInterfaceInvokeExpr(Local base, SootMethodRef method, List of Immediate) grammar chunk.
ValueBox	Jimple.newInvokeExprBox(Value value)
InvokeStmt	Jimple.newInvokeStmt(Value op)	Constructs a InvokeStmt(InvokeExpr) grammar chunk.
LeExpr	Jimple.newLeExpr(Value op1, Value op2)	Constructs a LeExpr(Immediate, Immediate) grammar chunk.
LengthExpr	Jimple.newLengthExpr(Value op)	Constructs a LengthExpr(Immediate) grammar chunk.
ValueBox	Jimple.newLocalBox(Value value)
LookupSwitchStmt	Jimple.newLookupSwitchStmt(Value key, List<IntConstant> lookupValues, List<? extends Unit> targets, Unit defaultTarget)	Constructs a LookupSwitchStmt(Immediate, List of Immediate, List of Unit, Stmt) grammar chunk.
LookupSwitchStmt	Jimple.newLookupSwitchStmt(Value key, List<IntConstant> lookupValues, List<? extends UnitBox> targets, UnitBox defaultTarget)
LtExpr	Jimple.newLtExpr(Value op1, Value op2)	Constructs a LtExpr(Immediate, Immediate) grammar chunk.
MulExpr	Jimple.newMulExpr(Value op1, Value op2)	Constructs a MulExpr(Immediate, Immediate) grammar chunk.
NeExpr	Jimple.newNeExpr(Value op1, Value op2)	Constructs a NeExpr(Immediate, Immediate) grammar chunk.
NegExpr	Jimple.newNegExpr(Value op)	Constructs a NegExpr(Immediate, Immediate) grammar chunk.
NewArrayExpr	Jimple.newNewArrayExpr(Type type, Value size)	Constructs a NewArrayExpr(Type, Immediate) grammar chunk.
OrExpr	Jimple.newOrExpr(Value op1, Value op2)	Constructs a OrExpr(Immediate, Immediate) grammar chunk.
RemExpr	Jimple.newRemExpr(Value op1, Value op2)	Constructs a RemExpr(Immediate, Immediate) grammar chunk.
RetStmt	Jimple.newRetStmt(Value stmtAddress)	Constructs a RetStmt(Local) grammar chunk.
ReturnStmt	Jimple.newReturnStmt(Value op)	Constructs a ReturnStmt(Immediate) grammar chunk.
ValueBox	Jimple.newRValueBox(Value value)
ShlExpr	Jimple.newShlExpr(Value op1, Value op2)	Constructs a ShlExpr(Immediate, Immediate) grammar chunk.
ShrExpr	Jimple.newShrExpr(Value op1, Value op2)	Constructs a ShrExpr(Immediate, Immediate) grammar chunk.
SpecialInvokeExpr	Jimple.newSpecialInvokeExpr(Local base, SootMethodRef method, Value arg)
SpecialInvokeExpr	Jimple.newSpecialInvokeExpr(Local base, SootMethodRef method, Value... args)	Constructs a NewSpecialInvokeExpr(Local base, SootMethodRef method, List of Immediate) grammar chunk.
StaticInvokeExpr	Jimple.newStaticInvokeExpr(SootMethodRef method, Value arg)
StaticInvokeExpr	Jimple.newStaticInvokeExpr(SootMethodRef method, Value... args)
SubExpr	Jimple.newSubExpr(Value op1, Value op2)	Constructs a SubExpr(Immediate, Immediate) grammar chunk.
TableSwitchStmt	Jimple.newTableSwitchStmt(Value key, int lowIndex, int highIndex, List<? extends Unit> targets, Unit defaultTarget)	Constructs a TableSwitchStmt(Immediate, int, int, List of Unit, Stmt) grammar chunk.
TableSwitchStmt	Jimple.newTableSwitchStmt(Value key, int lowIndex, int highIndex, List<? extends UnitBox> targets, UnitBox defaultTarget)
ThrowStmt	Jimple.newThrowStmt(Value op)	Constructs a ThrowStmt(Immediate) grammar chunk.
UshrExpr	Jimple.newUshrExpr(Value op1, Value op2)	Constructs a UshrExpr(Immediate, Immediate) grammar chunk.
ValueBox	Jimple.newVariableBox(Value value)
VirtualInvokeExpr	Jimple.newVirtualInvokeExpr(Local base, SootMethodRef method, Value arg)
VirtualInvokeExpr	Jimple.newVirtualInvokeExpr(Local base, SootMethodRef method, Value... args)	Constructs a NewVirtualInvokeExpr(Local base, SootMethodRef method, List of Immediate) grammar chunk.
XorExpr	Jimple.newXorExpr(Value op1, Value op2)	Constructs a XorExpr(Immediate, Immediate) grammar chunk.
void	InvokeExpr.setArg(int index, Value arg)
void	InstanceFieldRef.setBase(Value base)
void	InstanceInvokeExpr.setBase(Value base)
void	IfStmt.setCondition(Value condition)	condition must be soot.jimple.ConditionExpr
void	ArrayRef.setIndex(Value index)
void	InvokeStmt.setInvokeExpr(Value invokeExpr)
void	SwitchStmt.setKey(Value key)
void	AssignStmt.setLeftOp(Value variable)
void	IdentityStmt.setLeftOp(Value local)
void	CastExpr.setOp(Value op)
void	EnterMonitorStmt.setOp(Value op)
void	ExitMonitorStmt.setOp(Value op)
void	InstanceOfExpr.setOp(Value op)
void	MonitorStmt.setOp(Value op)
void	ReturnStmt.setOp(Value returnValue)
void	ThrowStmt.setOp(Value op)
void	UnopExpr.setOp(Value op)
void	BinopExpr.setOp1(Value op1)
void	BinopExpr.setOp2(Value op2)
void	AssignStmt.setRightOp(Value rvalue)
void	IdentityStmt.setRightOp(Value identityRef)
void	NewArrayExpr.setSize(Value size)
void	NewMultiArrayExpr.setSize(int index, Value size)
void	RetStmt.setStmtAddress(Value stmtAddress)
boolean	NaiveSideEffectTester.unitCanReadFrom(Unit u, Value v)	Returns true if the unit can read from v.
boolean	NaiveSideEffectTester.unitCanWriteTo(Unit u, Value v)

Method parameters in soot.jimple with type arguments of type Value

Modifier and Type	Method	Description
DynamicInvokeExpr	Jimple.newDynamicInvokeExpr(SootMethodRef bootstrapMethodRef, List<? extends Value> bootstrapArgs, SootMethodRef methodRef, int tag, List<? extends Value> args)	Constructs a NewDynamicInvokeExpr(SootMethodRef bootstrapMethodRef, List bootstrapArgs, SootMethodRef methodRef, List args) grammar chunk.
DynamicInvokeExpr	Jimple.newDynamicInvokeExpr(SootMethodRef bootstrapMethodRef, List<? extends Value> bootstrapArgs, SootMethodRef methodRef, List<? extends Value> args)	Constructs a NewDynamicInvokeExpr(SootMethodRef bootstrapMethodRef, List bootstrapArgs, SootMethodRef methodRef, List args) grammar chunk.
InterfaceInvokeExpr	Jimple.newInterfaceInvokeExpr(Local base, SootMethodRef method, List<? extends Value> args)	Constructs a NewInterfaceInvokeExpr(Local base, SootMethodRef method, List of Immediate) grammar chunk.
NewMultiArrayExpr	Jimple.newNewMultiArrayExpr(ArrayType type, List<? extends Value> sizes)	Constructs a NewMultiArrayExpr(ArrayType, List of Immediate) grammar chunk.
SpecialInvokeExpr	Jimple.newSpecialInvokeExpr(Local base, SootMethodRef method, List<? extends Value> args)	Constructs a NewSpecialInvokeExpr(Local base, SootMethodRef method, List of Immediate) grammar chunk.
StaticInvokeExpr	Jimple.newStaticInvokeExpr(SootMethodRef method, List<? extends Value> args)	Constructs a NewStaticInvokeExpr(ArrayType, List of Immediate) grammar chunk.
VirtualInvokeExpr	Jimple.newVirtualInvokeExpr(Local base, SootMethodRef method, List<? extends Value> args)	Constructs a NewVirtualInvokeExpr(Local base, SootMethodRef method, List of Immediate) grammar chunk.

Uses of Value in soot.jimple.internal

Classes in soot.jimple.internal that implement Value

Modifier and Type	Class	Description
class	AbstractBinopExpr
class	AbstractCastExpr
class	AbstractFloatBinopExpr
class	AbstractInstanceFieldRef
class	AbstractInstanceInvokeExpr
class	AbstractInstanceOfExpr
class	AbstractIntBinopExpr
class	AbstractInterfaceInvokeExpr
class	AbstractIntLongBinopExpr
class	AbstractInvokeExpr
class	AbstractJimpleBinopExpr
class	AbstractJimpleFloatBinopExpr
class	AbstractJimpleIntBinopExpr
class	AbstractJimpleIntLongBinopExpr
class	AbstractLengthExpr
class	AbstractNegExpr
class	AbstractNewArrayExpr
class	AbstractNewExpr
class	AbstractNewMultiArrayExpr
class	AbstractSpecialInvokeExpr
class	AbstractStaticInvokeExpr
class	AbstractUnopExpr
class	AbstractVirtualInvokeExpr
class	JAddExpr
class	JAndExpr
class	JArrayRef
class	JCastExpr
class	JCaughtExceptionRef
class	JCheckedAddExpr	This add expression checks for an overflow and throws an exception in case the addition cannot be performed without an overflow.
class	JCheckedCastExpr	This cast expression checks for an overflow and throws an exception in case the cast cannot be performed without an overflow.
class	JCheckedMulExpr	This multiply expression checks for an overflow and throws an exception in case the multiplication cannot be performed without an overflow.
class	JCheckedSubExpr	This subtract expression checks for an overflow and throws an exception in case the subtraction cannot be performed without an overflow.
class	JCmpExpr
class	JCmpgExpr
class	JCmplExpr
class	JDivExpr
class	JDynamicInvokeExpr
class	JEqExpr
class	JGeExpr
class	JGtExpr
class	JimpleLocal
class	JInstanceFieldRef
class	JInstanceOfExpr
class	JInterfaceInvokeExpr
class	JLeExpr
class	JLengthExpr
class	JLtExpr
class	JMulExpr
class	JNeExpr
class	JNegExpr
class	JNewArrayExpr
class	JNewExpr
class	JNewMultiArrayExpr
class	JOrExpr
class	JRemExpr
class	JShlExpr
class	JShrExpr
class	JSpecialInvokeExpr
class	JStaticInvokeExpr
class	JSubExpr
class	JUshrExpr
class	JVirtualInvokeExpr
class	JXorExpr

Methods in soot.jimple.internal that return Value

Modifier and Type	Method	Description
Value	AbstractInvokeExpr.getArg(int index)
Value	AbstractInstanceFieldRef.getBase()
Value	AbstractInstanceInvokeExpr.getBase()
Value	JArrayRef.getBase()
Value	JDynamicInvokeExpr.getBootstrapArg(int index)
Value	JIfStmt.getCondition()
Value	JArrayRef.getIndex()
Value	AbstractSwitchStmt.getKey()
Value	AbstractDefinitionStmt.getLeftOp()
Value	AbstractCastExpr.getOp()
Value	AbstractInstanceOfExpr.getOp()
Value	AbstractOpStmt.getOp()
Value	AbstractUnopExpr.getOp()
Value	AbstractBinopExpr.getOp1()
Value	AbstractBinopExpr.getOp2()
Value	AbstractDefinitionStmt.getRightOp()
Value	AbstractNewArrayExpr.getSize()
Value	AbstractNewMultiArrayExpr.getSize(int index)
Value	JRetStmt.getStmtAddress()

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

Modifier and Type	Method	Description
List<Value>	AbstractInvokeExpr.getArgs()
List<Value>	JDynamicInvokeExpr.getBootstrapArgs()
List<Value>	AbstractNewMultiArrayExpr.getSizes()

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

Modifier and Type	Method	Description
boolean	ConditionExprBox.canContainValue(Value value)
boolean	IdentityRefBox.canContainValue(Value value)
boolean	ImmediateBox.canContainValue(Value value)
boolean	InvokeExprBox.canContainValue(Value value)
boolean	JAssignStmt.LinkedRValueBox.canContainValue(Value v)
boolean	JAssignStmt.LinkedVariableBox.canContainValue(Value v)
boolean	JimpleLocalBox.canContainValue(Value value)
boolean	RValueBox.canContainValue(Value value)
boolean	VariableBox.canContainValue(Value value)
void	AbstractInvokeExpr.setArg(int index, Value arg)
void	AbstractInstanceFieldRef.setBase(Value base)
void	AbstractInstanceInvokeExpr.setBase(Value base)
void	JIfStmt.setCondition(Value condition)
void	JArrayRef.setIndex(Value index)
void	JInvokeStmt.setInvokeExpr(Value invokeExpr)
void	AbstractSwitchStmt.setKey(Value key)
void	JAssignStmt.setLeftOp(Value variable)
void	JIdentityStmt.setLeftOp(Value local)
void	AbstractCastExpr.setOp(Value op)
void	AbstractInstanceOfExpr.setOp(Value op)
void	AbstractOpStmt.setOp(Value op)
void	AbstractUnopExpr.setOp(Value op)
void	AbstractBinopExpr.setOp1(Value op1)
void	AbstractBinopExpr.setOp2(Value op2)
void	JAssignStmt.setRightOp(Value rvalue)
void	JIdentityStmt.setRightOp(Value identityRef)
void	AbstractNewArrayExpr.setSize(Value size)
void	AbstractNewMultiArrayExpr.setSize(int index, Value size)
void	JRetStmt.setStmtAddress(Value stmtAddress)

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

Constructor	Description
AbstractJimpleBinopExpr(Value op1, Value op2)
AbstractJimpleIntBinopExpr(Value op1, Value op2)
AbstractJimpleIntLongBinopExpr(Value op1, Value op2)
ConditionExprBox(Value value)
IdentityRefBox(Value value)
ImmediateBox(Value value)
InvokeExprBox(Value value)
JAddExpr(Value op1, Value op2)
JAndExpr(Value op1, Value op2)
JArrayRef(Value base, Value index)
JAssignStmt(Value variable, Value rvalue)
JCastExpr(Value op, Type type)
JCheckedAddExpr(Value op1, Value op2)
JCheckedCastExpr(Value op, Type type)
JCheckedMulExpr(Value op1, Value op2)
JCheckedSubExpr(Value op1, Value op2)
JCmpExpr(Value op1, Value op2)
JCmpgExpr(Value op1, Value op2)
JCmplExpr(Value op1, Value op2)
JDivExpr(Value op1, Value op2)
JEnterMonitorStmt(Value op)
JEqExpr(Value op1, Value op2)
JExitMonitorStmt(Value op)
JGeExpr(Value op1, Value op2)
JGtExpr(Value op1, Value op2)
JIdentityStmt(Value local, Value identityValue)
JIfStmt(Value condition, Unit target)
JIfStmt(Value condition, UnitBox target)
JimpleLocalBox(Value value)
JInstanceFieldRef(Value base, SootFieldRef fieldRef)
JInstanceOfExpr(Value op, Type checkType)
JInterfaceInvokeExpr(Value base, SootMethodRef methodRef, List<? extends Value> args)
JInvokeStmt(Value c)
JLeExpr(Value op1, Value op2)
JLengthExpr(Value op)
JLookupSwitchStmt(Value key, List<IntConstant> lookupValues, List<? extends Unit> targets, Unit defaultTarget)	Constructs a new JLookupSwitchStmt.
JLookupSwitchStmt(Value key, List<IntConstant> lookupValues, List<? extends UnitBox> targets, UnitBox defaultTarget)	Constructs a new JLookupSwitchStmt.
JLtExpr(Value op1, Value op2)
JMulExpr(Value op1, Value op2)
JNeExpr(Value op1, Value op2)
JNegExpr(Value op)
JNewArrayExpr(Type type, Value size)
JOrExpr(Value op1, Value op2)
JRemExpr(Value op1, Value op2)
JRetStmt(Value stmtAddress)
JReturnStmt(Value returnValue)
JShlExpr(Value op1, Value op2)
JShrExpr(Value op1, Value op2)
JSubExpr(Value op1, Value op2)
JTableSwitchStmt(Value key, int lowIndex, int highIndex, List<? extends Unit> targets, Unit defaultTarget)
JTableSwitchStmt(Value key, int lowIndex, int highIndex, List<? extends UnitBox> targets, UnitBox defaultTarget)
JThrowStmt(Value op)
JUshrExpr(Value op1, Value op2)
JVirtualInvokeExpr(Value base, SootMethodRef methodRef, List<? extends Value> args)
JXorExpr(Value op1, Value op2)
LinkedRValueBox(Value v)
LinkedVariableBox(Value v)
RValueBox(Value value)
VariableBox(Value value)

Constructor parameters in soot.jimple.internal with type arguments of type Value

Constructor	Description
JDynamicInvokeExpr(SootMethodRef bootstrapMethodRef, List<? extends Value> bootstrapArgs, SootMethodRef methodRef, int tag, List<? extends Value> methodArgs)
JDynamicInvokeExpr(SootMethodRef bootstrapMethodRef, List<? extends Value> bootstrapArgs, SootMethodRef methodRef, List<? extends Value> methodArgs)
JInterfaceInvokeExpr(Value base, SootMethodRef methodRef, List<? extends Value> args)
JNewMultiArrayExpr(ArrayType type, List<? extends Value> sizes)
JSpecialInvokeExpr(Local base, SootMethodRef methodRef, List<? extends Value> args)
JStaticInvokeExpr(SootMethodRef methodRef, List<? extends Value> args)
JVirtualInvokeExpr(Value base, SootMethodRef methodRef, List<? extends Value> args)

Uses of Value in soot.jimple.spark.builder

Methods in soot.jimple.spark.builder with parameters of type Value

Modifier and Type	Method	Description
Node	MethodNodeFactory.getNode(Value v)

Uses of Value in soot.jimple.spark.pag

Methods in soot.jimple.spark.pag that return Value

Modifier and Type	Method	Description
Value	NewInstanceNode.getValue()

Methods in soot.jimple.spark.pag with parameters of type Value

Modifier and Type	Method	Description
NewInstanceNode	PAG.makeNewInstanceNode(Value value, Type type, SootMethod method)

Uses of Value in soot.jimple.toolkits.annotation.nullcheck

Fields in soot.jimple.toolkits.annotation.nullcheck with type parameters of type Value

Modifier and Type	Field	Description
protected Map<Unit,HashSet<Value>>	BranchedRefVarsAnalysis.unitToAnalyzedChecksSet	Deprecated.
protected Map<Unit,HashSet<Value>>	BranchedRefVarsAnalysis.unitToArrayRefChecksSet	Deprecated.
protected Map<Unit,HashSet<Value>>	BranchedRefVarsAnalysis.unitToInstanceFieldRefChecksSet	Deprecated.
protected Map<Unit,HashSet<Value>>	BranchedRefVarsAnalysis.unitToInstanceInvokeExprChecksSet	Deprecated.
protected Map<Unit,HashSet<Value>>	BranchedRefVarsAnalysis.unitToLengthExprChecksSet	Deprecated.
protected HashMap<Value,Integer>	NullnessAnalysis.valueToIndex

Methods in soot.jimple.toolkits.annotation.nullcheck with parameters of type Value

Modifier and Type	Method	Description
int	BranchedRefVarsAnalysis.anyRefInfo(Value r, FlowSet<RefIntPair> f)	Deprecated.
int	NullnessAnalysis.AnalysisInfo.get(Value key)
EquivalentValue	BranchedRefVarsAnalysis.getEquivalentValue(Value v)	Deprecated.
protected boolean	NullnessAnalysis.isAlwaysNonNull(Value v)	This can be overwritten by subclasses to mark a certain value as constantly non-null.
protected boolean	NullnessAssumptionAnalysis.isAlwaysNonNull(Value v)	This can be overridden by sublasses to mark a certain value as constantly non-null.
void	NullnessAnalysis.AnalysisInfo.put(Value key, int val)

Constructor parameters in soot.jimple.toolkits.annotation.nullcheck with type arguments of type Value

Constructor	Description
AnalysisInfo(Map<Value,Object> m)

Uses of Value in soot.jimple.toolkits.annotation.parity

Methods in soot.jimple.toolkits.annotation.parity that return types with arguments of type Value

Modifier and Type	Method	Description
protected Map<Value,ParityAnalysis.Parity>	ParityAnalysis.entryInitialFlow()
protected Map<Value,ParityAnalysis.Parity>	ParityAnalysis.newInitialFlow()

Method parameters in soot.jimple.toolkits.annotation.parity with type arguments of type Value

Modifier and Type	Method	Description
protected void	ParityAnalysis.copy(Map<Value,ParityAnalysis.Parity> sourceIn, Map<Value,ParityAnalysis.Parity> destOut)
protected void	ParityAnalysis.flowThrough(Map<Value,ParityAnalysis.Parity> in, Unit s, Map<Value,ParityAnalysis.Parity> out)
protected void	ParityAnalysis.merge(Map<Value,ParityAnalysis.Parity> inMap1, Map<Value,ParityAnalysis.Parity> inMap2, Map<Value,ParityAnalysis.Parity> outMap)

Uses of Value in soot.jimple.toolkits.callgraph

Methods in soot.jimple.toolkits.callgraph that return Value

Modifier and Type	Method	Description
abstract Value	VirtualEdgesSummaries.AbstractParameterMapping.getMappedSourceArgumentArg(InvokeExpr expr)
Value	VirtualEdgesSummaries.DirectParameterMapping.getMappedSourceArgumentArg(InvokeExpr expr)
abstract Value	VirtualEdgesSummaries.AbstractParameterMapping.getMappedTargetArgumentArg(Body body)
Value	VirtualEdgesSummaries.DirectParameterMapping.getMappedTargetArgumentArg(Body body)

Uses of Value in soot.jimple.toolkits.ide.exampleproblems

Methods in soot.jimple.toolkits.ide.exampleproblems that return Value

Modifier and Type	Method	Description
Value	IFDSLiveVariables.createZeroValue()

Methods in soot.jimple.toolkits.ide.exampleproblems that return types with arguments of type Value

Modifier and Type	Method	Description
heros.FlowFunctions<Unit,Value,SootMethod>	IFDSLiveVariables.createFlowFunctionsFactory()
heros.FlowFunctions<Unit,Pair<Value,Type>,SootMethod>	IFDSPossibleTypes.createFlowFunctionsFactory()
heros.FlowFunctions<Unit,Pair<Value,Set<DefinitionStmt>>,SootMethod>	IFDSReachingDefinitions.createFlowFunctionsFactory()
Pair<Value,Type>	IFDSPossibleTypes.createZeroValue()
Pair<Value,Set<DefinitionStmt>>	IFDSReachingDefinitions.createZeroValue()
Map<Unit,Set<Value>>	IFDSLiveVariables.initialSeeds()
Map<Unit,Set<Pair<Value,Type>>>	IFDSPossibleTypes.initialSeeds()
Map<Unit,Set<Pair<Value,Set<DefinitionStmt>>>>	IFDSReachingDefinitions.initialSeeds()

Uses of Value in soot.jimple.toolkits.ide.icfg

Fields in soot.jimple.toolkits.ide.icfg with type parameters of type Value

Modifier and Type	Field	Description
protected com.google.common.cache.LoadingCache<SootMethod,List<Value>>	AbstractJimpleBasedICFG.methodToParameterRefs

Methods in soot.jimple.toolkits.ide.icfg that return types with arguments of type Value

Modifier and Type	Method	Description
List<Value>	AbstractJimpleBasedICFG.getParameterRefs(SootMethod m)
List<Value>	BackwardsInterproceduralCFG.getParameterRefs(SootMethod m)
List<Value>	BiDiInterproceduralCFG.getParameterRefs(M m)

Uses of Value in soot.jimple.toolkits.infoflow

Classes in soot.jimple.toolkits.infoflow that implement Value

Modifier and Type	Class	Description
class	AbstractDataSource
class	CachedEquivalentValue	An EquivalentValue with cached hash code and equals-relation.
class	FakeJimpleLocal

Fields in soot.jimple.toolkits.infoflow with type parameters of type Value

Modifier and Type	Field	Description
protected WeakHashMap<Value,Boolean>	CachedEquivalentValue.isEquivalent

Methods in soot.jimple.toolkits.infoflow that return Value

Modifier and Type	Method	Description
Value	SimpleMethodInfoFlowAnalysis.getThisLocal()
Value	SmartMethodInfoFlowAnalysis.getThisLocal()
Value	SmartMethodLocalObjectsAnalysis.getThisLocal()

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

Modifier and Type	Method	Description
protected List<Value>	SimpleMethodInfoFlowAnalysis.handleInvokeExpr(InvokeExpr ie, Stmt is, FlowSet<Pair<EquivalentValue,EquivalentValue>> fs)
protected List<Value>	SmartMethodInfoFlowAnalysis.handleInvokeExpr(InvokeExpr ie, Stmt is)

Methods in soot.jimple.toolkits.infoflow with parameters of type Value

Modifier and Type	Method	Description
void	SimpleMethodInfoFlowAnalysis.addToEntryInitialFlow(Value source, Value sink)
void	SimpleMethodInfoFlowAnalysis.addToNewInitialFlow(Value source, Value sink)
protected void	SimpleMethodInfoFlowAnalysis.handleFlowsToDataStructure(Value base, Value initialSource, FlowSet<Pair<EquivalentValue,EquivalentValue>> fs)
protected void	SmartMethodInfoFlowAnalysis.handleFlowsToDataStructure(Value base, Value source)
protected void	SimpleMethodInfoFlowAnalysis.handleFlowsToValue(Value sink, Value initialSource, FlowSet<Pair<EquivalentValue,EquivalentValue>> fs)
protected void	SmartMethodInfoFlowAnalysis.handleFlowsToValue(Value sink, Value source)
protected void	SmartMethodInfoFlowAnalysis.handleInnerField(Value innerFieldRef)
boolean	SimpleMethodInfoFlowAnalysis.isInterestingSink(Value sink)
boolean	SimpleMethodLocalObjectsAnalysis.isInterestingSink(Value sink)
boolean	SimpleMethodInfoFlowAnalysis.isInterestingSource(Value source)
boolean	SimpleMethodLocalObjectsAnalysis.isInterestingSource(Value source)
boolean	ClassLocalObjectsAnalysis.isObjectLocal(Value localOrRef, SootMethod sm)
boolean	SimpleMethodLocalObjectsAnalysis.isObjectLocal(Value local)
static boolean	SmartMethodLocalObjectsAnalysis.isObjectLocal(InfoFlowAnalysis dfa, SootMethod method, CallLocalityContext context, Value local)
boolean	SmartMethodLocalObjectsAnalysis.isObjectLocal(Value local, CallLocalityContext context)
boolean	LocalObjectsAnalysis.isObjectLocalToContext(Value localOrRef, SootMethod sm, SootMethod context)
boolean	LocalObjectsAnalysis.isObjectLocalToParent(Value localOrRef, SootMethod sm)
boolean	SimpleMethodInfoFlowAnalysis.isTrackableSink(Value sink)
boolean	SimpleMethodInfoFlowAnalysis.isTrackableSource(Value source)

Constructors in soot.jimple.toolkits.infoflow with parameters of type Value

Constructor	Description
CachedEquivalentValue(Value e)

Uses of Value in soot.jimple.toolkits.pointer

Fields in soot.jimple.toolkits.pointer with type parameters of type Value

Modifier and Type	Field	Description
protected Set<Value>	LocalMustAliasAnalysis.localsAndFieldRefs	The set of all local variables and field references that we track.
protected Map<Unit,Map<Value,Integer>>	LocalMustAliasAnalysis.mergePointToValueToNumber	maps from a merge point (a unit) and a value to the unique value number of that value at this point
protected Map<Value,Integer>	LocalMustAliasAnalysis.rhsToNumber	maps from right-hand side expressions (non-locals) to value numbers

Methods in soot.jimple.toolkits.pointer that return types with arguments of type Value

Modifier and Type	Method	Description
protected Set<Set<Value>>	LocalMayAliasAnalysis.entryInitialFlow()
protected HashMap<Value,Integer>	LocalMustAliasAnalysis.entryInitialFlow()	Initial most conservative value: We leave it away to save memory, implicitly UNKNOWN.
Set<Value>	LocalMayAliasAnalysis.mayAliases(Value v, Unit u)	Returns all values that may-alias with v before u.
Set<Value>	LocalMayAliasAnalysis.mayAliasesAtExit(Value v)	Returns all values that may-alias with v at the end of the procedure.
protected Set<Set<Value>>	LocalMayAliasAnalysis.newInitialFlow()
protected HashMap<Value,Integer>	LocalMustAliasAnalysis.newInitialFlow()	Initial bottom value: objects have no definitions.

Methods in soot.jimple.toolkits.pointer with parameters of type Value

Modifier and Type	Method	Description
protected RWSet	SideEffectAnalysis.addValue(Value v, SootMethod m, Stmt s)
boolean	LocalMayAliasAnalysis.mayAlias(Value v1, Value v2, Unit u)	Returns true if v1 and v2 may alias before u.
Set<Value>	LocalMayAliasAnalysis.mayAliases(Value v, Unit u)	Returns all values that may-alias with v before u.
Set<Value>	LocalMayAliasAnalysis.mayAliasesAtExit(Value v)	Returns all values that may-alias with v at the end of the procedure.
boolean	PASideEffectTester.unitCanReadFrom(Unit u, Value v)	Returns true if the unit can read from v.
boolean	PASideEffectTester.unitCanWriteTo(Unit u, Value v)	Returns true if the unit can read from v.
protected boolean	PASideEffectTester.valueTouchesRWSet(RWSet s, Value v, List<ValueBox> boxes)

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

Modifier and Type	Method	Description
protected void	LocalMayAliasAnalysis.copy(Set<Set<Value>> source, Set<Set<Value>> target)
protected void	LocalMustAliasAnalysis.copy(HashMap<Value,Integer> sourceMap, HashMap<Value,Integer> destMap)
protected void	LocalMayAliasAnalysis.flowThrough(Set<Set<Value>> source, Unit unit, Set<Set<Value>> target)
protected void	LocalMustAliasAnalysis.flowThrough(HashMap<Value,Integer> in, Unit u, HashMap<Value,Integer> out)
protected void	LocalMayAliasAnalysis.merge(Set<Set<Value>> source1, Set<Set<Value>> source2, Set<Set<Value>> target)
protected void	LocalMustAliasAnalysis.merge(HashMap<Value,Integer> in1, HashMap<Value,Integer> in2, HashMap<Value,Integer> out)
protected void	LocalMustAliasAnalysis.merge(Unit succUnit, HashMap<Value,Integer> inMap1, HashMap<Value,Integer> inMap2, HashMap<Value,Integer> outMap)

Uses of Value in soot.jimple.toolkits.scalar

Fields in soot.jimple.toolkits.scalar with type parameters of type Value

Modifier and Type	Field	Description
protected FlowSet<Value>	FastAvailableExpressionsAnalysis.emptySet
protected FlowSet<Value>	SlowAvailableExpressionsAnalysis.emptySet
protected Map<Value,Unit>	FastAvailableExpressionsAnalysis.rhsToContainingStmt	maps an rhs to its containing stmt.
protected Map<Value,Stmt>	SlowAvailableExpressionsAnalysis.rhsToContainingStmt	maps an rhs to its containing stmt.
protected Map<Unit,FlowSet<Value>>	FastAvailableExpressionsAnalysis.unitToGenerateSet
protected Map<Unit,BoundedFlowSet<Value>>	SlowAvailableExpressionsAnalysis.unitToGenerateSet
protected Map<Unit,BoundedFlowSet<Value>>	SlowAvailableExpressionsAnalysis.unitToPreserveSet

Methods in soot.jimple.toolkits.scalar that return Value

Modifier and Type	Method	Description
static Value	Evaluator.getConstantValueOf(Value op)	Returns the constant value of op if it is easy to find the constant value; else returns null.

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

Modifier and Type	Method	Description
protected FlowSet<Value>	FastAvailableExpressionsAnalysis.entryInitialFlow()
protected FlowSet<Value>	SlowAvailableExpressionsAnalysis.entryInitialFlow()
protected FlowSet<Value>	FastAvailableExpressionsAnalysis.newInitialFlow()
protected FlowSet<Value>	PessimisticAvailableExpressionsAnalysis.newInitialFlow()
protected FlowSet<Value>	SlowAvailableExpressionsAnalysis.newInitialFlow()

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

Modifier and Type	Method	Description
static Value	Evaluator.getConstantValueOf(Value op)	Returns the constant value of op if it is easy to find the constant value; else returns null.
static boolean	Evaluator.isValueConstantValued(Value op)

Method parameters in soot.jimple.toolkits.scalar with type arguments of type Value

Modifier and Type	Method	Description
protected void	FastAvailableExpressionsAnalysis.copy(FlowSet<Value> sourceSet, FlowSet<Value> destSet)
protected void	SlowAvailableExpressionsAnalysis.copy(FlowSet<Value> sourceSet, FlowSet<Value> destSet)
protected void	FastAvailableExpressionsAnalysis.flowThrough(FlowSet<Value> in, Unit u, FlowSet<Value> out)
protected void	SlowAvailableExpressionsAnalysis.flowThrough(FlowSet<Value> in, Unit unit, FlowSet<Value> out)
protected void	FastAvailableExpressionsAnalysis.merge(FlowSet<Value> inSet1, FlowSet<Value> inSet2, FlowSet<Value> outSet)
protected void	SlowAvailableExpressionsAnalysis.merge(FlowSet<Value> inSet1, FlowSet<Value> inSet2, FlowSet<Value> outSet)

Uses of Value in soot.jimple.toolkits.scalar.pre

Methods in soot.jimple.toolkits.scalar.pre that return Value

Modifier and Type	Method	Description
static Value	SootFilter.binop(Value val)	only lets binary expression through.
static Value	SootFilter.binopRhs(Unit unit)	only lets binary RHS through.
static Value	SootFilter.concreteRef(Value val)	only lets concrete references through.
static Value	SootFilter.getEquivalentValueRoot(Value val)	returns the Value of an EquivalentValue.
static Value	SootFilter.local(Value val)	filters out Locals. returns null if val is null.
static Value	SootFilter.noExceptionThrowing(Value val)	filters out Exception-throwing Values.
static Value	SootFilter.noExceptionThrowingRhs(Unit unit)	filters out RHS that don't throw any exception.
static Value	SootFilter.noInvoke(Value val)	filters out Invokes. returns null if val is null.
static Value	SootFilter.noInvokeRhs(Unit unit)	filters out RHS that aren't invokes.
static Value	SootFilter.noLocal(Value val)	only lets non-Locals through. returns null if val is null.
static Value	SootFilter.rhs(Unit unit)	filters out the RHS of an assignmentStmt.

Methods in soot.jimple.toolkits.scalar.pre with parameters of type Value

Modifier and Type	Method	Description
static Value	SootFilter.binop(Value val)	only lets binary expression through.
static Value	SootFilter.concreteRef(Value val)	only lets concrete references through.
static EquivalentValue	SootFilter.equiVal(Value val)	wraps a value into a EquivalentValue.
static Value	SootFilter.getEquivalentValueRoot(Value val)	returns the Value of an EquivalentValue.
static boolean	SootFilter.isInvoke(Value val)	returns true, if val is an invoke.
static boolean	SootFilter.isLocal(Value val)	returns true, if val is a Local.
static Value	SootFilter.local(Value val)	filters out Locals. returns null if val is null.
static Value	SootFilter.noExceptionThrowing(Value val)	filters out Exception-throwing Values.
static Value	SootFilter.noInvoke(Value val)	filters out Invokes. returns null if val is null.
static Value	SootFilter.noLocal(Value val)	only lets non-Locals through. returns null if val is null.
static boolean	SootFilter.throwsException(Value val)	a (probably) conservative way of telling if a Value throws an exception or not.

Uses of Value in soot.jimple.toolkits.thread

Methods in soot.jimple.toolkits.thread with parameters of type Value

Modifier and Type	Method	Description
List	ThreadLocalObjectsAnalysis.escapesThrough(Value sharedValue, SootMethod containingMethod)	Returns a list of thread-shared sources and sinks.
boolean	IThreadLocalObjectsAnalysis.isObjectThreadLocal(Value localOrRef, SootMethod sm)
boolean	ThreadLocalObjectsAnalysis.isObjectThreadLocal(Value localOrRef, SootMethod sm)

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

Classes in soot.jimple.toolkits.thread.synchronization that implement Value

Modifier and Type	Class	Description
class	DeadlockAvoidanceEdge
class	NewStaticLock

Methods in soot.jimple.toolkits.thread.synchronization that return Value

Modifier and Type	Method	Description
static Value	LockAllocationBodyTransformer.getLockFor(EquivalentValue lockEqVal)

Methods in soot.jimple.toolkits.thread.synchronization with parameters of type Value

Modifier and Type	Method	Description
Integer	LockableReferenceAnalysis.addFromSubanalysis(soot.jimple.toolkits.thread.synchronization.LocksetFlowInfo outInfo, LockableReferenceAnalysis la, Stmt stmt, Value lock)
protected RWSet	CriticalSectionAwareSideEffectAnalysis.addValue(Value v, SootMethod m, Stmt s)
RWSet	CriticalSectionAwareSideEffectAnalysis.approximatedReadSet(SootMethod method, Stmt stmt, Value specialRead, boolean allFields)
RWSet	CriticalSectionAwareSideEffectAnalysis.approximatedWriteSet(SootMethod method, Stmt stmt, Value v, boolean allFields)
RWSet	CriticalSectionAwareSideEffectAnalysis.valueRWSet(Value v, SootMethod m, Stmt s, soot.jimple.toolkits.thread.synchronization.CriticalSection tn)

Method parameters in soot.jimple.toolkits.thread.synchronization with type arguments of type Value

Modifier and Type	Method	Description
MutableEdgeLabelledDirectedGraph<Integer,soot.jimple.toolkits.thread.synchronization.CriticalSection>	DeadlockDetector.detectLocksetDeadlock(Map<Value,Integer> lockToLockNum, List<PointsToSetInternal> lockPTSets)
protected void	LockAllocator.findLockableReferences(List<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, PointsToAnalysis pta, CriticalSectionAwareSideEffectAnalysis tasea, Map<Value,Integer> lockToLockNum, List<PointsToSetInternal> lockPTSets)
static String	LockAllocator.locksetToLockNumString(List<EquivalentValue> lockset, Map<Value,Integer> lockToLockNum)
void	LockAllocator.printGraph(Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, CriticalSectionInterferenceGraph ig, Map<Value,Integer> lockToLockNum)
void	DeadlockDetector.reorderLocksets(Map<Value,Integer> lockToLockNum, MutableEdgeLabelledDirectedGraph<Integer,soot.jimple.toolkits.thread.synchronization.CriticalSection> lockOrder)

Uses of Value in soot.jimple.toolkits.typing.fast

Methods in soot.jimple.toolkits.typing.fast that return Value

Modifier and Type	Method	Description
default Value	IUseVisitor.visit(Value op, Type useType, Stmt stmt)
Value	IUseVisitor.visit(Value op, Type useType, Stmt stmt, boolean checkOnly)
Value	TypePromotionUseVisitor.visit(Value op, Type useType, Stmt stmt, boolean checkOnly)
Value	TypeResolver.CastInsertionUseVisitor.visit(Value op, Type useType, Stmt stmt, boolean checkOnly)

Methods in soot.jimple.toolkits.typing.fast with parameters of type Value

Modifier and Type	Method	Description
Collection<Type>	AugEvalFunction.eval(Typing tg, Value expr, Stmt stmt)
Collection<Type>	IEvalFunction.eval(Typing tg, Value expr, Stmt stmt)
static Type	AugEvalFunction.eval_(Typing tg, Value expr, Stmt stmt, JimpleBody jb)
default Value	IUseVisitor.visit(Value op, Type useType, Stmt stmt)
Value	IUseVisitor.visit(Value op, Type useType, Stmt stmt, boolean checkOnly)
Value	TypePromotionUseVisitor.visit(Value op, Type useType, Stmt stmt, boolean checkOnly)
Value	TypeResolver.CastInsertionUseVisitor.visit(Value op, Type useType, Stmt stmt, boolean checkOnly)

Uses of Value in soot.shimple

Subinterfaces of Value in soot.shimple

Modifier and Type	Interface	Description
interface	PhiExpr	A fully defined PhiExpr usually consists of a list of Values for the arguments alongst with the corresponding control flow predecessor for each argument.
interface	PiExpr
interface	ShimpleExpr

Methods in soot.shimple that return Value

Modifier and Type	Method	Description
Value	PhiExpr.getValue(int index)	Returns the value for the given index into the PhiExpr.
Value	PhiExpr.getValue(Block pred)	Get the PhiExpr argument corresponding to the given control flow predecessor, returns null if not available.
Value	PhiExpr.getValue(Unit predTailUnit)	Get the PhiExpr argument corresponding to the given control flow predecessor, returns null if not available.
Value	PiExpr.getValue()

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

Modifier and Type	Method	Description
List<Value>	PhiExpr.getValues()	Returns a list of the values used by this PhiExpr.

Methods in soot.shimple with parameters of type Value

Modifier and Type	Method	Description
boolean	PhiExpr.addArg(Value arg, Block pred)	Add the given argument associated with the given CFG predecessor.
boolean	PhiExpr.addArg(Value arg, Unit predTailUnit)	Add the given argument associated with the given CFG predecessor.
static boolean	Shimple.isPhiExpr(Value value)	Returns true if the value is a Phi expression, false otherwise.
static boolean	Shimple.isPiExpr(Value value)
boolean	PhiExpr.setArg(int index, Value arg, Block pred)	Modify the PhiExpr argument at the given index with the given information.
boolean	PhiExpr.setArg(int index, Value arg, Unit predTailUnit)	Modify the PhiExpr argument at the given index with the given information.
boolean	PhiExpr.setValue(int index, Value arg)	Set the value at the given index into the PhiExpr.
boolean	PhiExpr.setValue(Block pred, Value arg)	Locate the argument associated with the given CFG predecessor and set the value.
boolean	PhiExpr.setValue(Unit predTailUnit, Value arg)	Locate the argument associated with the given CFG predecessor unit and set the value.
void	PiExpr.setValue(Value v)

Method parameters in soot.shimple with type arguments of type Value

Modifier and Type	Method	Description
PhiExpr	Shimple.newPhiExpr(List<Value> args, List<Unit> preds)	Create a PhiExpr with the provided list of Values (Locals or Constants) and the corresponding control flow predecessor Blocks.

Uses of Value in soot.shimple.internal

Classes in soot.shimple.internal that implement Value

Modifier and Type	Class	Description
class	SPhiExpr	Internal implementation of Phi nodes.
class	SPiExpr

Methods in soot.shimple.internal that return Value

Modifier and Type	Method	Description
Value	SPhiExpr.getValue(int index)
Value	SPhiExpr.getValue(Block pred)
Value	SPhiExpr.getValue(Unit predTailUnit)
Value	SPiExpr.getValue()

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

Modifier and Type	Method	Description
List<Value>	SPhiExpr.getValues()

Methods in soot.shimple.internal with parameters of type Value

Modifier and Type	Method	Description
boolean	SPhiExpr.addArg(Value arg, Block pred)
boolean	SPhiExpr.addArg(Value arg, Unit predTailUnit)
protected int	ShimpleBodyBuilder.indexOfLocal(Value local)	Convenient function that maps new Locals to the originating Local, and finds the appropriate array index into the naming structures.
boolean	SPhiExpr.setArg(int index, Value arg, Block pred)
boolean	SPhiExpr.setArg(int index, Value arg, Unit predTailUnit)
boolean	SPhiExpr.setValue(int index, Value arg)
boolean	SPhiExpr.setValue(Block pred, Value arg)
boolean	SPhiExpr.setValue(Unit predTailUnit, Value arg)
void	SPiExpr.setValue(Value value)

Constructors in soot.shimple.internal with parameters of type Value

Constructor	Description
SPiExpr(Value v, Unit u, Object o)
SValueUnitPair(Value value, Unit unit)

Constructor parameters in soot.shimple.internal with type arguments of type Value

Constructor	Description
SPhiExpr(List<Value> args, List<Unit> preds)	Create a Phi expression from the given list of Values and Blocks.

Uses of Value in soot.shimple.toolkits.graph

Classes in soot.shimple.toolkits.graph that implement Value

Modifier and Type	Class	Description
protected static class	ValueGraph.TypeValueWrapper

Fields in soot.shimple.toolkits.graph declared as Value

Modifier and Type	Field	Description
protected Value	ValueGraph.Node.node

Fields in soot.shimple.toolkits.graph with type parameters of type Value

Modifier and Type	Field	Description
protected Map<Value,ValueGraph.Node>	ValueGraph.localToNode
protected Map<ValueGraph.Node,Value>	ValueGraph.nodeToLocal

Methods in soot.shimple.toolkits.graph with parameters of type Value

Modifier and Type	Method	Description
protected ValueGraph.Node	ValueGraph.fetchGraph(Value value)
protected ValueGraph.Node	ValueGraph.fetchNode(Value value)
ValueGraph.Node	ValueGraph.getNode(Value local)
protected void	ValueGraph.Node.setNode(Value node)

Constructors in soot.shimple.toolkits.graph with parameters of type Value

Constructor	Description
Node(Value node)
Node(Value local, boolean ignored)
Node(Value node, boolean ordered, List<ValueGraph.Node> children)

Uses of Value in soot.shimple.toolkits.scalar

Classes in soot.shimple.toolkits.scalar that implement Value

Modifier and Type	Class	Description
static class	SEvaluator.BottomConstant	Bottom i.e.
static class	SEvaluator.MetaConstant	Head of a new hierarchy of constants -- Top and Bottom.
static class	SEvaluator.TopConstant	Top i.e.

Fields in soot.shimple.toolkits.scalar with type parameters of type Value

Modifier and Type	Field	Description
protected Map<Value,List<Unit>>	ShimpleLocalDefs.localToDefs

Methods in soot.shimple.toolkits.scalar that return Value

Modifier and Type	Method	Description
static Value	SEvaluator.getConstantValueOf(Value op)	Returns the constant value of op if it is easy to find the constant value; else returns null.

Methods in soot.shimple.toolkits.scalar with parameters of type Value

Modifier and Type	Method	Description
static Value	SEvaluator.getConstantValueOf(Value op)	Returns the constant value of op if it is easy to find the constant value; else returns null.
static Constant	SEvaluator.getFuzzyConstantValueOf(Value v)	If a normal expression contains Bottom, always return Bottom.
static Constant	SEvaluator.getFuzzyConstantValueOf(Value v, Map<Local,Constant> localToConstant)	Get the constant value of the expression given the assumptions in the localToConstant map (may contain Top and Bottom).
static boolean	SEvaluator.isValueConstantValued(Value op)	Returns true if given value is determined to be constant valued, false otherwise

Uses of Value in soot.sootify

Methods in soot.sootify with parameters of type Value

Modifier and Type	Method	Description
String	ValueTemplatePrinter.printValueAssignment(Value value, String varName)

Uses of Value in soot.toDex

Classes in soot.toDex that implement Value

Modifier and Type	Class	Description
class	TemporaryRegisterLocal

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

Modifier and Type	Method	Description
List<Value>	DexArrayInitDetector.getValuesForArrayInit(Unit arrayInit)

Methods in soot.toDex with parameters of type Value

Modifier and Type	Method	Description
Register	RegisterAllocator.asImmediate(Value v, ConstantVisitor constantV)
protected void	ExprVisitor.castPrimitive(Register sourceReg, Value source, Type castSootType)

Uses of Value in soot.toolkits.exceptions

Methods in soot.toolkits.exceptions with parameters of type Value

Modifier and Type	Method	Description
protected ThrowableSet	UnitThrowAnalysis.mightThrow(Value v)

Uses of Value in soot.toolkits.scalar

Fields in soot.toolkits.scalar with type parameters of type Value

Modifier and Type	Field	Description
protected Map<Unit,List<Value>>	GuaranteedDefs.unitToGuaranteedDefs

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

Modifier and Type	Method	Description
List<Value>	GuaranteedDefs.getGuaranteedDefs(Unit s)	Returns a list of locals guaranteed to be defined at (just before) program point s.

Methods in soot.toolkits.scalar with parameters of type Value

Modifier and Type	Method	Description
boolean	ValueUnitPair.canContainValue(Value value)

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

Constructor	Description
ValueUnitPair(Value value, Unit unit)	Constructs a ValueUnitPair from a Unit object and a Value object.