Uses of Interface
sootup.core.jimple.basic.Value

Packages that use Value

Package	Description
qilin.core
qilin.core.builder
sootup.analysis.interprocedural.icfg
sootup.codepropertygraph.propertygraph.nodes
sootup.core.jimple
sootup.core.jimple.basic
sootup.core.jimple.common.constant
sootup.core.jimple.common.expr
sootup.core.jimple.common.ref
sootup.core.jimple.common.stmt
sootup.core.jimple.javabytecode.stmt
sootup.core.jimple.visitor
sootup.core.model
sootup.core.validation
sootup.interceptors
sootup.interceptors.typeresolving
sootup.java.bytecode.frontend.conversion
sootup.java.core.jimple.basic

Uses of Value in qilin.core

Methods in qilin.core that return Value

Modifier and Type	Method	Description
Value	PTAScene.getFieldGlobalThrow()
protected Value	ArtificialMethod.getInvoke(String sig, Immediate... args)	add a static invocation and get the return value rx = sig(args)

Methods in qilin.core with parameters of type Value

Modifier and Type	Method	Description
protected void	ArtificialMethod.addAssign(LValue lValue, Value rValue)
protected JArrayRef	ArtificialMethod.getArrayRef(Value base)

Uses of Value in qilin.core.builder

Methods in qilin.core.builder that return Value

Modifier and Type	Method	Description
Value	FakeMainFactory.getFieldGlobalThrow()

Methods in qilin.core.builder with parameters of type Value

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

Uses of Value in sootup.analysis.interprocedural.icfg

Fields in sootup.analysis.interprocedural.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 sootup.analysis.interprocedural.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 sootup.codepropertygraph.propertygraph.nodes

Methods in sootup.codepropertygraph.propertygraph.nodes that return Value

Modifier and Type	Method	Description
Value	ExprGraphNode.getValue()
Value	ImmediateGraphNode.getValue()
Value	RefGraphNode.getValue()
Value	ValueGraphNode.getValue()

Uses of Value in sootup.core.jimple

Methods in sootup.core.jimple with parameters of type Value

Modifier and Type	Method	Description
static JAssignStmt	Jimple.newAssignStmt(LValue variable, Value rvalue, StmtPositionInfo posInfo)	Constructs a AssignStmt(Variable, RValue) grammar chunk.

Uses of Value in sootup.core.jimple.basic

Subinterfaces of Value in sootup.core.jimple.basic

Modifier and Type	Interface	Description
interface	Immediate	Immediate is a local or a constant.
interface	LValue	Marker interface for Values that can be on the left side of an Assignment

Classes in sootup.core.jimple.basic that implement Value

Modifier and Type	Class	Description
class	Local	Local variable in Body.

Methods in sootup.core.jimple.basic that return types with arguments of type Value

Modifier and Type	Method	Description
Stream<Value>	Local.getUses()
Stream<Value>	Value.getUses()	Returns a List of Locals,FieldRefs,ArrayRefs which are used by (ie contained within) this Expression or Reference.

Uses of Value in sootup.core.jimple.common.constant

Subinterfaces of Value in sootup.core.jimple.common.constant

Modifier and Type	Interface	Description
interface	ComparableConstant<C extends ComparableConstant<C>>
interface	Constant
interface	LogicalConstant<L extends LogicalConstant<L>>	A Constant that supports LogicalConstant.and(LogicalConstant), LogicalConstant.or(LogicalConstant) and LogicalConstant.xor(LogicalConstant)
interface	NumericConstant<N extends NumericConstant<N>>
interface	RealConstant<R extends RealConstant<R>>	Base type for floating point constants.
interface	ShiftableConstant<A extends ShiftableConstant<A>>

Classes in sootup.core.jimple.common.constant that implement Value

Modifier and Type	Class	Description
class	BooleanConstant	BooleanConstant didn't exist in old soot, because in Java byte code boolean values are represented as integer values 1 or 0.
class	ClassConstant
class	DoubleConstant	Floating point constant with double precision.
class	EnumConstant
class	FloatConstant	Floating point constant with single precision.
class	IntConstant	A 32-bit integer constant.
class	LongConstant	A 64-bit integer constant
class	MethodHandle
class	MethodType
class	NullConstant
class	StringConstant

Methods in sootup.core.jimple.common.constant that return types with arguments of type Value

Modifier and Type	Method	Description
default Stream<Value>	Constant.getUses()

Uses of Value in sootup.core.jimple.common.expr

Subinterfaces of Value in sootup.core.jimple.common.expr

Modifier and Type	Interface	Description
interface	Expr

Classes in sootup.core.jimple.common.expr that implement Value

Modifier and Type	Class	Description
class	AbstractBinopExpr
class	AbstractConditionExpr
class	AbstractFloatBinopExpr
class	AbstractInstanceInvokeExpr
class	AbstractIntBinopExpr
class	AbstractIntLongBinopExpr
class	AbstractInvokeExpr
class	AbstractUnopExpr
final class	JAddExpr	An expression that adds two numbers.
final class	JAndExpr	An expression that computes a binary AND of two operands.
final class	JCastExpr	An expression that casts a value to a certain type.
final class	JCmpExpr
final class	JCmpgExpr
final class	JCmplExpr
final class	JDivExpr	An expression that divides a number by another.
final class	JDynamicInvokeExpr
final class	JEqExpr	An expression that checks whether two value are equal.
final class	JGeExpr	An expression that checks whether operand 1 >= operand 2.
final class	JGtExpr	An expression that checks whether operand 1 > operand 2.
final class	JInstanceOfExpr	An expression that checks whether a value is of a certain type.
final class	JInterfaceInvokeExpr	An expression that invokes an interface method.
final class	JLeExpr	An expression that checks whether operand 1 <= operand 2.
final class	JLengthExpr	An expression that returns the length of an array.
final class	JLtExpr	An expression that checks whether operand 1 < operand 2.
final class	JMulExpr	An expression that multiplies two numbers.
final class	JNeExpr	The opposite of JEqExpr
final class	JNegExpr	An expression that negates its operand (-).
final class	JNewArrayExpr	An expression that creates a new array of a certain type and a certain size.
final class	JNewExpr	An expression that creates a new instance of a class.
final class	JNewMultiArrayExpr	Like JNewArrayExpr, but for multi-dimensional arrays.
final class	JOrExpr	An expression that computes a binary OR of two operands.
final class	JPhiExpr
final class	JRemExpr	An expression that computes a % b.
final class	JShlExpr	An expression that shifts its operand to the left (<<).
final class	JShrExpr	An expression that shifts its operand to the left (>>).
final class	JSpecialInvokeExpr	An expression that invokes a special method (e.g.
final class	JStaticInvokeExpr	An expression that invokes a static method.
final class	JSubExpr	An expression that subtracts operand 2 from operand 1.
final class	JUshrExpr	Similar to JShrExpr, but shifts zero into the leftmost position.
final class	JVirtualInvokeExpr	An expression that invokes a virtual method.
final class	JXorExpr	An expression that computes a binary XOR of two operands.

Methods in sootup.core.jimple.common.expr that return Value

Modifier and Type	Method	Description
Value	JDynamicInvokeExpr.getBootstrapArg(int index)

Methods in sootup.core.jimple.common.expr that return types with arguments of type Value

Modifier and Type	Method	Description
final Stream<Value>	AbstractBinopExpr.getUses()
Stream<Value>	AbstractInstanceInvokeExpr.getUses()
Stream<Value>	AbstractInvokeExpr.getUses()
final Stream<Value>	AbstractUnopExpr.getUses()
Stream<Value>	JCastExpr.getUses()
Stream<Value>	JInstanceOfExpr.getUses()
Stream<Value>	JNewArrayExpr.getUses()	Returns a list of type Value, contains a list of values with size
Stream<Value>	JNewExpr.getUses()
Stream<Value>	JNewMultiArrayExpr.getUses()
Stream<Value>	JPhiExpr.getUses()

Uses of Value in sootup.core.jimple.common.ref

Subinterfaces of Value in sootup.core.jimple.common.ref

Modifier and Type	Interface	Description
interface	ConcreteRef	This marker interface is used for JFieldRef's and ArrayRef's
interface	IdentityRef
interface	Ref

Classes in sootup.core.jimple.common.ref that implement Value

Modifier and Type	Class	Description
final class	JArrayRef
final class	JCaughtExceptionRef
class	JFieldRef
final class	JInstanceFieldRef
final class	JParameterRef	ParameterRef objects are used by Body objects to refer to the parameter slots on method entry.
final class	JStaticFieldRef
final class	JThisRef

Methods in sootup.core.jimple.common.ref that return types with arguments of type Value

Modifier and Type	Method	Description
Stream<Value>	JArrayRef.getUses()
Stream<Value>	JCaughtExceptionRef.getUses()
Stream<Value>	JInstanceFieldRef.getUses()
Stream<Value>	JParameterRef.getUses()
Stream<Value>	JStaticFieldRef.getUses()
Stream<Value>	JThisRef.getUses()

Uses of Value in sootup.core.jimple.common.stmt

Methods in sootup.core.jimple.common.stmt that return Value

Modifier and Type	Method	Description
abstract Value	AbstractDefinitionStmt.getRightOp()
Value	JAssignStmt.getRightOp()

Methods in sootup.core.jimple.common.stmt that return types with arguments of type Value

Modifier and Type	Method	Description
final Stream<Value>	AbstractDefinitionStmt.getUses()
Stream<Value>	AbstractStmt.getUses()	Returns a list of Values used in this Stmt.
Stream<Value>	JIfStmt.getUses()
Stream<Value>	JInvokeStmt.getUses()
Stream<Value>	JReturnStmt.getUses()
Stream<Value>	JThrowStmt.getUses()
Stream<Value>	Stmt.getUses()
Stream<Value>	AbstractStmt.getUsesAndDefs()	Returns a list of Values, either used or defined or both in this Stmt.
Stream<Value>	Stmt.getUsesAndDefs()

Methods in sootup.core.jimple.common.stmt with parameters of type Value

Modifier and Type	Method	Description
Stmt	AbstractStmt.withNewUse(Value oldUse, Value newUse)	Use newUse to replace the oldUse in oldStmt.
Stmt	Stmt.withNewUse(Value oldUse, Value newUse)
JAssignStmt	JAssignStmt.withRValue(Value rValue)

Constructors in sootup.core.jimple.common.stmt with parameters of type Value

Modifier	Constructor	Description
	JAssignStmt(LValue variable, Value rValue, StmtPositionInfo positionInfo)	Instantiates a new JAssignStmt.

Uses of Value in sootup.core.jimple.javabytecode.stmt

Methods in sootup.core.jimple.javabytecode.stmt that return Value

Modifier and Type	Method	Description
Value	JRetStmt.getStmtAddress()

Methods in sootup.core.jimple.javabytecode.stmt that return types with arguments of type Value

Modifier and Type	Method	Description
Stream<Value>	JEnterMonitorStmt.getUses()
Stream<Value>	JExitMonitorStmt.getUses()
Stream<Value>	JRetStmt.getUses()
Stream<Value>	JSwitchStmt.getUses()

Methods in sootup.core.jimple.javabytecode.stmt with parameters of type Value

Modifier and Type	Method	Description
JRetStmt	JRetStmt.withStmtAddress(Value stmtAddress)

Constructors in sootup.core.jimple.javabytecode.stmt with parameters of type Value

Modifier	Constructor	Description
	JRetStmt(Value stmtAddress, StmtPositionInfo positionInfo)

Uses of Value in sootup.core.jimple.visitor

Fields in sootup.core.jimple.visitor declared as Value

Modifier and Type	Field	Description
protected Value	ReplaceUseExprVisitor.newUse
protected Value	ReplaceUseRefVisitor.newUse
protected final Value	ReplaceUseStmtVisitor.newUse
protected Value	ReplaceUseExprVisitor.oldUse
protected Value	ReplaceUseRefVisitor.oldUse
protected final Value	ReplaceUseStmtVisitor.oldUse

Methods in sootup.core.jimple.visitor with parameters of type Value

Modifier and Type	Method	Description
void	AbstractValueVisitor.defaultCaseValue(Value v)
void	ValueVisitor.defaultCaseValue(Value v)
void	ReplaceUseExprVisitor.init(Value oldUse, Value newUse)
void	ReplaceUseRefVisitor.init(Value oldUse, Value newUse)

Constructors in sootup.core.jimple.visitor with parameters of type Value

Modifier	Constructor	Description
	ReplaceUseExprVisitor(Value oldUse, Value newUse, BasicBlock<?> phiBlock)
	ReplaceUseStmtVisitor(Value oldUse, Value newUse)

Uses of Value in sootup.core.model

Methods in sootup.core.model that return types with arguments of type Value

Modifier and Type	Method	Description
static Map<Value,List<Stmt>>	Body.collectUses(Collection<Stmt> stmts)	Collects all using statements of a Values from a list of statements
Stream<Value>	Body.getUses()	Returns the results of iterating through all Stmts in this Body and querying them for Values defined.

Uses of Value in sootup.core.validation

Constructors in sootup.core.validation with parameters of type Value

Modifier	Constructor	Description
	ValidationException(Value value, String s)

Uses of Value in sootup.interceptors

Methods in sootup.interceptors with parameters of type Value

Modifier and Type	Method	Description
static Constant	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.isConstantValue(Value op)	Checks whether the value of op is constant

Uses of Value in sootup.interceptors.typeresolving

Methods in sootup.interceptors.typeresolving with parameters of type Value

Modifier and Type	Method	Description
Type	AugEvalFunction.evaluate(Typing typing, Value value, Stmt stmt, StmtGraph<?> graph)	This method is used to evaluate the type of the given value which the given stmt and body belongs to.
void	CastCounter.visit(Value value, Type stdType, Stmt stmt)	This method is used to check whether a value in a stmt needs a cast.
abstract void	TypeChecker.visit(Value value, Type stdType, Stmt stmt)
void	TypePromotionVisitor.visit(Value value, Type stdType, Stmt stmt)

Uses of Value in sootup.java.bytecode.frontend.conversion

Methods in sootup.java.bytecode.frontend.conversion with parameters of type Value

Modifier and Type	Method	Description
Stream<Stmt>	AsmMethodSource.getStmtsThatUse(Value value)	* returns all stmts that use this expr

Uses of Value in sootup.java.core.jimple.basic

Classes in sootup.java.core.jimple.basic that implement Value

Modifier and Type	Class	Description
class	JavaLocal