Package sootup.spark.node

Class ValueToNodeConversionVisitor

java.lang.Object

sootup.core.jimple.visitor.AbstractValueVisitor

sootup.spark.node.ValueToNodeConversionVisitor

All Implemented Interfaces:

ConstantVisitor, ExprVisitor, ImmediateVisitor, RefVisitor, ValueVisitor, Visitor

public class ValueToNodeConversionVisitor
extends AbstractValueVisitor

Value to Node converter. Supported nodes according to the Spark thesis:

• AllocationNode
• VariableNode
• FieldRefNode

Constructor Summary

Constructors

Constructor	Description
ValueToNodeConversionVisitor(MethodSignature containingMethodSig, SparkOptions sparkOptions)

Method Summary

Modifier and Type	Method	Description
void	caseAddExpr(@NonNull JAddExpr expr)	Visits an addition expression.
void	caseAndExpr(@NonNull JAndExpr expr)	Visits a bitwise AND expression.
void	caseArrayRef(@NonNull JArrayRef ref)
void	caseBooleanConstant(@NonNull BooleanConstant constant)	Visits a boolean constant.
void	caseCastExpr(@NonNull JCastExpr expr)	Visits a cast expression.
void	caseCaughtExceptionRef(@NonNull JCaughtExceptionRef ref)
void	caseClassConstant(@NonNull ClassConstant constant)	Visits a class constant.
void	caseCmpExpr(@NonNull JCmpExpr expr)	Visits a long/double comparison expression.
void	caseCmpgExpr(@NonNull JCmpgExpr expr)	Visits a floating-point comparison (greater) expression.
void	caseCmplExpr(@NonNull JCmplExpr expr)	Visits a floating-point comparison (less) expression.
void	caseDivExpr(@NonNull JDivExpr expr)	Visits a division expression.
void	caseDoubleConstant(@NonNull DoubleConstant constant)	Visits a double constant.
void	caseEnumConstant(@NonNull EnumConstant constant)	Visits an enum constant.
void	caseEqExpr(@NonNull JEqExpr expr)	Visits an equality comparison expression.
void	caseFloatConstant(@NonNull FloatConstant constant)	Visits a float constant.
void	caseGeExpr(@NonNull JGeExpr expr)	Visits a greater-than-or-equal comparison expression.
void	caseGtExpr(@NonNull JGtExpr expr)	Visits a greater-than comparison expression.
void	caseInstanceFieldRef(@NonNull JInstanceFieldRef ref)
void	caseInstanceOfExpr(@NonNull JInstanceOfExpr expr)	Visits an instanceof check expression.
void	caseIntConstant(@NonNull IntConstant constant)	Visits an int constant.
void	caseLeExpr(@NonNull JLeExpr expr)	Visits a less-than-or-equal comparison expression.
void	caseLengthExpr(@NonNull JLengthExpr expr)	Visits an array length expression.
void	caseLocal(@NonNull Local local)
void	caseLongConstant(@NonNull LongConstant constant)	Visits a long constant.
void	caseLtExpr(@NonNull JLtExpr expr)	Visits a less-than comparison expression.
void	caseMethodHandle(@NonNull MethodHandle v)	Visits a method handle constant.
void	caseMethodType(@NonNull MethodType v)	Visits a method type constant.
void	caseMulExpr(@NonNull JMulExpr expr)	Visits a multiplication expression.
void	caseNeExpr(@NonNull JNeExpr expr)	Visits an inequality comparison expression.
void	caseNegExpr(@NonNull JNegExpr expr)	Visits a negation expression.
void	caseNewArrayExpr(@NonNull JNewArrayExpr expr)	Visits a new array expression.
void	caseNewExpr(@NonNull JNewExpr expr)	Visits a new object expression.
void	caseNewMultiArrayExpr(@NonNull JNewMultiArrayExpr expr)	Visits a new multi-dimensional array expression.
void	caseNullConstant(@NonNull NullConstant constant)	Visits a null constant.
void	caseOrExpr(@NonNull JOrExpr expr)	Visits a bitwise OR expression.
void	caseParameterRef(@NonNull JParameterRef ref)
void	casePhiExpr(JPhiExpr expr)	Visits a phi expression (used in SSA form).
void	caseRemExpr(@NonNull JRemExpr expr)	Visits a remainder expression.
void	caseShlExpr(@NonNull JShlExpr expr)	Visits a shift-left expression.
void	caseShrExpr(@NonNull JShrExpr expr)	Visits a signed shift-right expression.
void	caseStaticFieldRef(@NonNull JStaticFieldRef ref)
void	caseStringConstant(@NonNull StringConstant constant)	Visits a string constant.
void	caseSubExpr(@NonNull JSubExpr expr)	Visits a subtraction expression.
void	caseThisRef(@NonNull JThisRef ref)
void	caseUshrExpr(@NonNull JUshrExpr expr)	Visits an unsigned shift-right expression.
void	caseXorExpr(@NonNull JXorExpr expr)	Visits a bitwise XOR expression.
void	defaultCaseValue(@NonNull Value v)
Optional<Node>	getResult()	returns a node as a result of the value to node conversion
void	ignore(@NonNull Value v)

Methods inherited from class sootup.core.jimple.visitor.AbstractValueVisitor

caseDynamicInvokeExpr, caseInterfaceInvokeExpr, caseSpecialInvokeExpr, caseStaticInvokeExpr, caseVirtualInvokeExpr, defaultCaseConstant, defaultCaseExpr, defaultCaseRef

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ValueToNodeConversionVisitor

public ValueToNodeConversionVisitor(MethodSignature containingMethodSig,
 SparkOptions sparkOptions)

Method Details

getResult

public Optional<Node> getResult()

returns a node as a result of the value to node conversion

Returns:

an optional PAG node

caseCastExpr

public void caseCastExpr(@NonNull
 @NonNull JCastExpr expr)

Description copied from interface: ExprVisitor

Visits a cast expression.

Specified by:

caseCastExpr in interface ExprVisitor

Overrides:

caseCastExpr in class AbstractValueVisitor

caseNewArrayExpr

public void caseNewArrayExpr(@NonNull
 @NonNull JNewArrayExpr expr)

Description copied from interface: ExprVisitor

Visits a new array expression.

Specified by:

caseNewArrayExpr in interface ExprVisitor

Overrides:

caseNewArrayExpr in class AbstractValueVisitor

caseBooleanConstant

public void caseBooleanConstant(@NonNull
 @NonNull BooleanConstant constant)

Description copied from interface: ConstantVisitor

Visits a boolean constant.

Specified by:

caseBooleanConstant in interface ConstantVisitor

Overrides:

caseBooleanConstant in class AbstractValueVisitor

caseClassConstant

public void caseClassConstant(@NonNull
 @NonNull ClassConstant constant)

Description copied from interface: ConstantVisitor

Visits a class constant.

Specified by:

caseClassConstant in interface ConstantVisitor

Overrides:

caseClassConstant in class AbstractValueVisitor

caseDoubleConstant

public void caseDoubleConstant(@NonNull
 @NonNull DoubleConstant constant)

Description copied from interface: ConstantVisitor

Visits a double constant.

Specified by:

caseDoubleConstant in interface ConstantVisitor

Overrides:

caseDoubleConstant in class AbstractValueVisitor

caseEnumConstant

public void caseEnumConstant(@NonNull
 @NonNull EnumConstant constant)

Description copied from interface: ConstantVisitor

Visits an enum constant.

Specified by:

caseEnumConstant in interface ConstantVisitor

Overrides:

caseEnumConstant in class AbstractValueVisitor

caseFloatConstant

public void caseFloatConstant(@NonNull
 @NonNull FloatConstant constant)

Description copied from interface: ConstantVisitor

Visits a float constant.

Specified by:

caseFloatConstant in interface ConstantVisitor

Overrides:

caseFloatConstant in class AbstractValueVisitor

caseIntConstant

public void caseIntConstant(@NonNull
 @NonNull IntConstant constant)

Description copied from interface: ConstantVisitor

Visits an int constant.

Specified by:

caseIntConstant in interface ConstantVisitor

Overrides:

caseIntConstant in class AbstractValueVisitor

caseLongConstant

public void caseLongConstant(@NonNull
 @NonNull LongConstant constant)

Description copied from interface: ConstantVisitor

Visits a long constant.

Specified by:

caseLongConstant in interface ConstantVisitor

Overrides:

caseLongConstant in class AbstractValueVisitor

caseMethodHandle

public void caseMethodHandle(@NonNull
 @NonNull MethodHandle v)

Description copied from interface: ConstantVisitor

Visits a method handle constant.

Specified by:

caseMethodHandle in interface ConstantVisitor

Overrides:

caseMethodHandle in class AbstractValueVisitor

caseMethodType

public void caseMethodType(@NonNull
 @NonNull MethodType v)

Description copied from interface: ConstantVisitor

Visits a method type constant.

Specified by:

caseMethodType in interface ConstantVisitor

Overrides:

caseMethodType in class AbstractValueVisitor

caseNullConstant

public void caseNullConstant(@NonNull
 @NonNull NullConstant constant)

Description copied from interface: ConstantVisitor

Visits a null constant.

Specified by:

caseNullConstant in interface ConstantVisitor

Overrides:

caseNullConstant in class AbstractValueVisitor

caseAddExpr

public void caseAddExpr(@NonNull
 @NonNull JAddExpr expr)

Description copied from interface: ExprVisitor

Visits an addition expression.

Specified by:

caseAddExpr in interface ExprVisitor

Overrides:

caseAddExpr in class AbstractValueVisitor

caseAndExpr

public void caseAndExpr(@NonNull
 @NonNull JAndExpr expr)

Description copied from interface: ExprVisitor

Visits a bitwise AND expression.

Specified by:

caseAndExpr in interface ExprVisitor

Overrides:

caseAndExpr in class AbstractValueVisitor

caseCmpExpr

public void caseCmpExpr(@NonNull
 @NonNull JCmpExpr expr)

Description copied from interface: ExprVisitor

Visits a long/double comparison expression.

Specified by:

caseCmpExpr in interface ExprVisitor

Overrides:

caseCmpExpr in class AbstractValueVisitor

caseCmpgExpr

public void caseCmpgExpr(@NonNull
 @NonNull JCmpgExpr expr)

Description copied from interface: ExprVisitor

Visits a floating-point comparison (greater) expression.

Specified by:

caseCmpgExpr in interface ExprVisitor

Overrides:

caseCmpgExpr in class AbstractValueVisitor

caseCmplExpr

public void caseCmplExpr(@NonNull
 @NonNull JCmplExpr expr)

Description copied from interface: ExprVisitor

Visits a floating-point comparison (less) expression.

Specified by:

caseCmplExpr in interface ExprVisitor

Overrides:

caseCmplExpr in class AbstractValueVisitor

caseDivExpr

public void caseDivExpr(@NonNull
 @NonNull JDivExpr expr)

Description copied from interface: ExprVisitor

Visits a division expression.

Specified by:

caseDivExpr in interface ExprVisitor

Overrides:

caseDivExpr in class AbstractValueVisitor

caseEqExpr

public void caseEqExpr(@NonNull
 @NonNull JEqExpr expr)

Description copied from interface: ExprVisitor

Visits an equality comparison expression.

Specified by:

caseEqExpr in interface ExprVisitor

Overrides:

caseEqExpr in class AbstractValueVisitor

caseGeExpr

public void caseGeExpr(@NonNull
 @NonNull JGeExpr expr)

Description copied from interface: ExprVisitor

Visits a greater-than-or-equal comparison expression.

Specified by:

caseGeExpr in interface ExprVisitor

Overrides:

caseGeExpr in class AbstractValueVisitor

caseGtExpr

public void caseGtExpr(@NonNull
 @NonNull JGtExpr expr)

Description copied from interface: ExprVisitor

Visits a greater-than comparison expression.

Specified by:

caseGtExpr in interface ExprVisitor

Overrides:

caseGtExpr in class AbstractValueVisitor

caseInstanceOfExpr

public void caseInstanceOfExpr(@NonNull
 @NonNull JInstanceOfExpr expr)

Description copied from interface: ExprVisitor

Visits an instanceof check expression.

Specified by:

caseInstanceOfExpr in interface ExprVisitor

Overrides:

caseInstanceOfExpr in class AbstractValueVisitor

caseLeExpr

public void caseLeExpr(@NonNull
 @NonNull JLeExpr expr)

Description copied from interface: ExprVisitor

Visits a less-than-or-equal comparison expression.

Specified by:

caseLeExpr in interface ExprVisitor

Overrides:

caseLeExpr in class AbstractValueVisitor

caseLengthExpr

public void caseLengthExpr(@NonNull
 @NonNull JLengthExpr expr)

Description copied from interface: ExprVisitor

Visits an array length expression.

Specified by:

caseLengthExpr in interface ExprVisitor

Overrides:

caseLengthExpr in class AbstractValueVisitor

caseLtExpr

public void caseLtExpr(@NonNull
 @NonNull JLtExpr expr)

Description copied from interface: ExprVisitor

Visits a less-than comparison expression.

Specified by:

caseLtExpr in interface ExprVisitor

Overrides:

caseLtExpr in class AbstractValueVisitor

caseMulExpr

public void caseMulExpr(@NonNull
 @NonNull JMulExpr expr)

Description copied from interface: ExprVisitor

Visits a multiplication expression.

Specified by:

caseMulExpr in interface ExprVisitor

Overrides:

caseMulExpr in class AbstractValueVisitor

caseNeExpr

public void caseNeExpr(@NonNull
 @NonNull JNeExpr expr)

Description copied from interface: ExprVisitor

Visits an inequality comparison expression.

Specified by:

caseNeExpr in interface ExprVisitor

Overrides:

caseNeExpr in class AbstractValueVisitor

caseNegExpr

public void caseNegExpr(@NonNull
 @NonNull JNegExpr expr)

Description copied from interface: ExprVisitor

Visits a negation expression.

Specified by:

caseNegExpr in interface ExprVisitor

Overrides:

caseNegExpr in class AbstractValueVisitor

caseOrExpr

public void caseOrExpr(@NonNull
 @NonNull JOrExpr expr)

Description copied from interface: ExprVisitor

Visits a bitwise OR expression.

Specified by:

caseOrExpr in interface ExprVisitor

Overrides:

caseOrExpr in class AbstractValueVisitor

caseRemExpr

public void caseRemExpr(@NonNull
 @NonNull JRemExpr expr)

Description copied from interface: ExprVisitor

Visits a remainder expression.

Specified by:

caseRemExpr in interface ExprVisitor

Overrides:

caseRemExpr in class AbstractValueVisitor

caseShlExpr

public void caseShlExpr(@NonNull
 @NonNull JShlExpr expr)

Description copied from interface: ExprVisitor

Visits a shift-left expression.

Specified by:

caseShlExpr in interface ExprVisitor

Overrides:

caseShlExpr in class AbstractValueVisitor

caseShrExpr

public void caseShrExpr(@NonNull
 @NonNull JShrExpr expr)

Description copied from interface: ExprVisitor

Visits a signed shift-right expression.

Specified by:

caseShrExpr in interface ExprVisitor

Overrides:

caseShrExpr in class AbstractValueVisitor

caseSubExpr

public void caseSubExpr(@NonNull
 @NonNull JSubExpr expr)

Description copied from interface: ExprVisitor

Visits a subtraction expression.

Specified by:

caseSubExpr in interface ExprVisitor

Overrides:

caseSubExpr in class AbstractValueVisitor

caseUshrExpr

public void caseUshrExpr(@NonNull
 @NonNull JUshrExpr expr)

Description copied from interface: ExprVisitor

Visits an unsigned shift-right expression.

Specified by:

caseUshrExpr in interface ExprVisitor

Overrides:

caseUshrExpr in class AbstractValueVisitor

caseXorExpr

public void caseXorExpr(@NonNull
 @NonNull JXorExpr expr)

Description copied from interface: ExprVisitor

Visits a bitwise XOR expression.

Specified by:

caseXorExpr in interface ExprVisitor

Overrides:

caseXorExpr in class AbstractValueVisitor

casePhiExpr

public void casePhiExpr(JPhiExpr expr)

Description copied from interface: ExprVisitor

Visits a phi expression (used in SSA form).

Specified by:

casePhiExpr in interface ExprVisitor

Overrides:

casePhiExpr in class AbstractValueVisitor

caseCaughtExceptionRef

public void caseCaughtExceptionRef(@NonNull
 @NonNull JCaughtExceptionRef ref)

Specified by:

caseCaughtExceptionRef in interface RefVisitor

Overrides:

caseCaughtExceptionRef in class AbstractValueVisitor

caseNewMultiArrayExpr

public void caseNewMultiArrayExpr(@NonNull
 @NonNull JNewMultiArrayExpr expr)

Description copied from interface: ExprVisitor

Visits a new multi-dimensional array expression.

Specified by:

caseNewMultiArrayExpr in interface ExprVisitor

Overrides:

caseNewMultiArrayExpr in class AbstractValueVisitor

caseNewExpr

public void caseNewExpr(@NonNull
 @NonNull JNewExpr expr)

Description copied from interface: ExprVisitor

Visits a new object expression.

Specified by:

caseNewExpr in interface ExprVisitor

Overrides:

caseNewExpr in class AbstractValueVisitor

caseStaticFieldRef

public void caseStaticFieldRef(@NonNull
 @NonNull JStaticFieldRef ref)

Specified by:

caseStaticFieldRef in interface RefVisitor

Overrides:

caseStaticFieldRef in class AbstractValueVisitor

caseInstanceFieldRef

public void caseInstanceFieldRef(@NonNull
 @NonNull JInstanceFieldRef ref)

Specified by:

caseInstanceFieldRef in interface RefVisitor

Overrides:

caseInstanceFieldRef in class AbstractValueVisitor

caseArrayRef

public void caseArrayRef(@NonNull
 @NonNull JArrayRef ref)

Specified by:

caseArrayRef in interface RefVisitor

Overrides:

caseArrayRef in class AbstractValueVisitor

caseParameterRef

public void caseParameterRef(@NonNull
 @NonNull JParameterRef ref)

Specified by:

caseParameterRef in interface RefVisitor

Overrides:

caseParameterRef in class AbstractValueVisitor

caseThisRef

public void caseThisRef(@NonNull
 @NonNull JThisRef ref)

Specified by:

caseThisRef in interface RefVisitor

Overrides:

caseThisRef in class AbstractValueVisitor

caseLocal

public void caseLocal(@NonNull
 @NonNull Local local)

Specified by:

caseLocal in interface ImmediateVisitor

Overrides:

caseLocal in class AbstractValueVisitor

caseStringConstant

public void caseStringConstant(@NonNull
 @NonNull StringConstant constant)

Description copied from interface: ConstantVisitor

Visits a string constant.

Specified by:

caseStringConstant in interface ConstantVisitor

Overrides:

caseStringConstant in class AbstractValueVisitor

defaultCaseValue

public void defaultCaseValue(@NonNull
 @NonNull Value v)

Specified by:

defaultCaseValue in interface ValueVisitor

Overrides:

defaultCaseValue in class AbstractValueVisitor

ignore

public void ignore(@NonNull
 @NonNull Value v)