Uses of Interface
sootup.core.jimple.common.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.common
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
sootup.spark
sootup.spark.node

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.common

Subinterfaces of Value in sootup.core.jimple.common

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.common that implement Value

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

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

Modifier and Type	Method	Description
@NonNull Stream<Value>	Local.getUses()
@NonNull 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 @NonNull 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. private methods).
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
@NonNull 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 @NonNull Stream<Value>	AbstractBinopExpr.getUses()
@NonNull Stream<Value>	AbstractInstanceInvokeExpr.getUses()
@NonNull Stream<Value>	AbstractInvokeExpr.getUses()
final @NonNull Stream<Value>	AbstractUnopExpr.getUses()
@NonNull Stream<Value>	JCastExpr.getUses()
@NonNull Stream<Value>	JInstanceOfExpr.getUses()
@NonNull Stream<Value>	JNewArrayExpr.getUses()	Returns a list of type Value, contains a list of values with size
@NonNull Stream<Value>	JNewExpr.getUses()
@NonNull Stream<Value>	JNewMultiArrayExpr.getUses()
@NonNull 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
@NonNull Stream<Value>	JArrayRef.getUses()
@NonNull Stream<Value>	JCaughtExceptionRef.getUses()
@NonNull Stream<Value>	JInstanceFieldRef.getUses()
@NonNull Stream<Value>	JParameterRef.getUses()
@NonNull Stream<Value>	JStaticFieldRef.getUses()
@NonNull 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 @NonNull Value	AbstractDefinitionStmt.getRightOp()
@NonNull Value	JAssignStmt.getRightOp()

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

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

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

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

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

Modifier	Constructor	Description
	JAssignStmt(@NonNull LValue variable, @NonNull Value rValue, @NonNull 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
@NonNull Value	JRetStmt.getStmtAddress()

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

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

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

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

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

Modifier	Constructor	Description
	JRetStmt(@NonNull Value stmtAddress, @NonNull 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 @NonNull Value	ReplaceUseStmtVisitor.newUse
protected Value	ReplaceUseExprVisitor.oldUse
protected Value	ReplaceUseRefVisitor.oldUse
protected final @NonNull Value	ReplaceUseStmtVisitor.oldUse

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

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

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

Modifier	Constructor	Description
	ReplaceUseExprVisitor(Value oldUse, Value newUse, BasicBlock<?> phiBlock)
	ReplaceUseStmtVisitor(@NonNull Value oldUse, @NonNull 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 @Nullable 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
@Nullable Type	AugEvalFunction.evaluate(@NonNull Typing typing, @NonNull Value value, @NonNull Stmt stmt, @NonNull 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(@NonNull Value value, @NonNull Type stdType, @NonNull Stmt stmt)	This method is used to check whether a value in a stmt needs a cast.
abstract void	TypeChecker.visit(@NonNull Value value, @NonNull Type stdType, @NonNull Stmt stmt)
void	TypePromotionVisitor.visit(@NonNull Value value, @NonNull Type stdType, @NonNull 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(@NonNull 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

Uses of Value in sootup.spark

Methods in sootup.spark with parameters of type Value

Modifier and Type	Method	Description
@NonNull Optional<Node>	NodeFactory.createNode(@NonNull Value value)	creates a PAG node for a given Jimple value

Uses of Value in sootup.spark.node

Methods in sootup.spark.node with parameters of type Value

Modifier and Type	Method	Description
void	ValueToNodeConversionVisitor.defaultCaseValue(@NonNull Value v)