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)
void	caseAndExpr(@NonNull JAndExpr expr)
void	caseArrayRef(@NonNull JArrayRef ref)
void	caseBooleanConstant(@NonNull BooleanConstant constant)
void	caseCastExpr(@NonNull JCastExpr expr)
void	caseCaughtExceptionRef(@NonNull JCaughtExceptionRef ref)
void	caseClassConstant(@NonNull ClassConstant constant)
void	caseCmpExpr(@NonNull JCmpExpr expr)
void	caseCmpgExpr(@NonNull JCmpgExpr expr)
void	caseCmplExpr(@NonNull JCmplExpr expr)
void	caseDivExpr(@NonNull JDivExpr expr)
void	caseDoubleConstant(@NonNull DoubleConstant constant)
void	caseEnumConstant(@NonNull EnumConstant constant)
void	caseEqExpr(@NonNull JEqExpr expr)
void	caseFloatConstant(@NonNull FloatConstant constant)
void	caseGeExpr(@NonNull JGeExpr expr)
void	caseGtExpr(@NonNull JGtExpr expr)
void	caseInstanceFieldRef(@NonNull JInstanceFieldRef ref)
void	caseInstanceOfExpr(@NonNull JInstanceOfExpr expr)
void	caseIntConstant(@NonNull IntConstant constant)
void	caseLeExpr(@NonNull JLeExpr expr)
void	caseLengthExpr(@NonNull JLengthExpr expr)
void	caseLocal(@NonNull Local local)
void	caseLongConstant(@NonNull LongConstant constant)
void	caseLtExpr(@NonNull JLtExpr expr)
void	caseMethodHandle(@NonNull MethodHandle v)
void	caseMethodType(@NonNull MethodType v)
void	caseMulExpr(@NonNull JMulExpr expr)
void	caseNeExpr(@NonNull JNeExpr expr)
void	caseNegExpr(@NonNull JNegExpr expr)
void	caseNewArrayExpr(@NonNull JNewArrayExpr expr)
void	caseNewExpr(@NonNull JNewExpr expr)
void	caseNewMultiArrayExpr(@NonNull JNewMultiArrayExpr expr)
void	caseNullConstant(@NonNull NullConstant constant)
void	caseOrExpr(@NonNull JOrExpr expr)
void	caseParameterRef(@NonNull JParameterRef ref)
void	casePhiExpr(JPhiExpr expr)
void	caseRemExpr(@NonNull JRemExpr expr)
void	caseShlExpr(@NonNull JShlExpr expr)
void	caseShrExpr(@NonNull JShrExpr expr)
void	caseStaticFieldRef(@NonNull JStaticFieldRef ref)
void	caseStringConstant(@NonNull StringConstant constant)
void	caseSubExpr(@NonNull JSubExpr expr)
void	caseThisRef(@NonNull JThisRef ref)
void	caseUshrExpr(@NonNull JUshrExpr expr)
void	caseXorExpr(@NonNull JXorExpr expr)
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)

Specified by:

caseCastExpr in interface ExprVisitor

Overrides:

caseCastExpr in class AbstractValueVisitor

caseNewArrayExpr

public void caseNewArrayExpr(@NonNull
 @NonNull JNewArrayExpr expr)

Specified by:

caseNewArrayExpr in interface ExprVisitor

Overrides:

caseNewArrayExpr in class AbstractValueVisitor

caseBooleanConstant

public void caseBooleanConstant(@NonNull
 @NonNull BooleanConstant constant)

Specified by:

caseBooleanConstant in interface ConstantVisitor

Overrides:

caseBooleanConstant in class AbstractValueVisitor

caseClassConstant

public void caseClassConstant(@NonNull
 @NonNull ClassConstant constant)

Specified by:

caseClassConstant in interface ConstantVisitor

Overrides:

caseClassConstant in class AbstractValueVisitor

caseDoubleConstant

public void caseDoubleConstant(@NonNull
 @NonNull DoubleConstant constant)

Specified by:

caseDoubleConstant in interface ConstantVisitor

Overrides:

caseDoubleConstant in class AbstractValueVisitor

caseEnumConstant

public void caseEnumConstant(@NonNull
 @NonNull EnumConstant constant)

Specified by:

caseEnumConstant in interface ConstantVisitor

Overrides:

caseEnumConstant in class AbstractValueVisitor

caseFloatConstant

public void caseFloatConstant(@NonNull
 @NonNull FloatConstant constant)

Specified by:

caseFloatConstant in interface ConstantVisitor

Overrides:

caseFloatConstant in class AbstractValueVisitor

caseIntConstant

public void caseIntConstant(@NonNull
 @NonNull IntConstant constant)

Specified by:

caseIntConstant in interface ConstantVisitor

Overrides:

caseIntConstant in class AbstractValueVisitor

caseLongConstant

public void caseLongConstant(@NonNull
 @NonNull LongConstant constant)

Specified by:

caseLongConstant in interface ConstantVisitor

Overrides:

caseLongConstant in class AbstractValueVisitor

caseMethodHandle

public void caseMethodHandle(@NonNull
 @NonNull MethodHandle v)

Specified by:

caseMethodHandle in interface ConstantVisitor

Overrides:

caseMethodHandle in class AbstractValueVisitor

caseMethodType

public void caseMethodType(@NonNull
 @NonNull MethodType v)

Specified by:

caseMethodType in interface ConstantVisitor

Overrides:

caseMethodType in class AbstractValueVisitor

caseNullConstant

public void caseNullConstant(@NonNull
 @NonNull NullConstant constant)

Specified by:

caseNullConstant in interface ConstantVisitor

Overrides:

caseNullConstant in class AbstractValueVisitor

caseAddExpr

public void caseAddExpr(@NonNull
 @NonNull JAddExpr expr)

Specified by:

caseAddExpr in interface ExprVisitor

Overrides:

caseAddExpr in class AbstractValueVisitor

caseAndExpr

public void caseAndExpr(@NonNull
 @NonNull JAndExpr expr)

Specified by:

caseAndExpr in interface ExprVisitor

Overrides:

caseAndExpr in class AbstractValueVisitor

caseCmpExpr

public void caseCmpExpr(@NonNull
 @NonNull JCmpExpr expr)

Specified by:

caseCmpExpr in interface ExprVisitor

Overrides:

caseCmpExpr in class AbstractValueVisitor

caseCmpgExpr

public void caseCmpgExpr(@NonNull
 @NonNull JCmpgExpr expr)

Specified by:

caseCmpgExpr in interface ExprVisitor

Overrides:

caseCmpgExpr in class AbstractValueVisitor

caseCmplExpr

public void caseCmplExpr(@NonNull
 @NonNull JCmplExpr expr)

Specified by:

caseCmplExpr in interface ExprVisitor

Overrides:

caseCmplExpr in class AbstractValueVisitor

caseDivExpr

public void caseDivExpr(@NonNull
 @NonNull JDivExpr expr)

Specified by:

caseDivExpr in interface ExprVisitor

Overrides:

caseDivExpr in class AbstractValueVisitor

caseEqExpr

public void caseEqExpr(@NonNull
 @NonNull JEqExpr expr)

Specified by:

caseEqExpr in interface ExprVisitor

Overrides:

caseEqExpr in class AbstractValueVisitor

caseGeExpr

public void caseGeExpr(@NonNull
 @NonNull JGeExpr expr)

Specified by:

caseGeExpr in interface ExprVisitor

Overrides:

caseGeExpr in class AbstractValueVisitor

caseGtExpr

public void caseGtExpr(@NonNull
 @NonNull JGtExpr expr)

Specified by:

caseGtExpr in interface ExprVisitor

Overrides:

caseGtExpr in class AbstractValueVisitor

caseInstanceOfExpr

public void caseInstanceOfExpr(@NonNull
 @NonNull JInstanceOfExpr expr)

Specified by:

caseInstanceOfExpr in interface ExprVisitor

Overrides:

caseInstanceOfExpr in class AbstractValueVisitor

caseLeExpr

public void caseLeExpr(@NonNull
 @NonNull JLeExpr expr)

Specified by:

caseLeExpr in interface ExprVisitor

Overrides:

caseLeExpr in class AbstractValueVisitor

caseLengthExpr

public void caseLengthExpr(@NonNull
 @NonNull JLengthExpr expr)

Specified by:

caseLengthExpr in interface ExprVisitor

Overrides:

caseLengthExpr in class AbstractValueVisitor

caseLtExpr

public void caseLtExpr(@NonNull
 @NonNull JLtExpr expr)

Specified by:

caseLtExpr in interface ExprVisitor

Overrides:

caseLtExpr in class AbstractValueVisitor

caseMulExpr

public void caseMulExpr(@NonNull
 @NonNull JMulExpr expr)

Specified by:

caseMulExpr in interface ExprVisitor

Overrides:

caseMulExpr in class AbstractValueVisitor

caseNeExpr

public void caseNeExpr(@NonNull
 @NonNull JNeExpr expr)

Specified by:

caseNeExpr in interface ExprVisitor

Overrides:

caseNeExpr in class AbstractValueVisitor

caseNegExpr

public void caseNegExpr(@NonNull
 @NonNull JNegExpr expr)

Specified by:

caseNegExpr in interface ExprVisitor

Overrides:

caseNegExpr in class AbstractValueVisitor

caseOrExpr

public void caseOrExpr(@NonNull
 @NonNull JOrExpr expr)

Specified by:

caseOrExpr in interface ExprVisitor

Overrides:

caseOrExpr in class AbstractValueVisitor

caseRemExpr

public void caseRemExpr(@NonNull
 @NonNull JRemExpr expr)

Specified by:

caseRemExpr in interface ExprVisitor

Overrides:

caseRemExpr in class AbstractValueVisitor

caseShlExpr

public void caseShlExpr(@NonNull
 @NonNull JShlExpr expr)

Specified by:

caseShlExpr in interface ExprVisitor

Overrides:

caseShlExpr in class AbstractValueVisitor

caseShrExpr

public void caseShrExpr(@NonNull
 @NonNull JShrExpr expr)

Specified by:

caseShrExpr in interface ExprVisitor

Overrides:

caseShrExpr in class AbstractValueVisitor

caseSubExpr

public void caseSubExpr(@NonNull
 @NonNull JSubExpr expr)

Specified by:

caseSubExpr in interface ExprVisitor

Overrides:

caseSubExpr in class AbstractValueVisitor

caseUshrExpr

public void caseUshrExpr(@NonNull
 @NonNull JUshrExpr expr)

Specified by:

caseUshrExpr in interface ExprVisitor

Overrides:

caseUshrExpr in class AbstractValueVisitor

caseXorExpr

public void caseXorExpr(@NonNull
 @NonNull JXorExpr expr)

Specified by:

caseXorExpr in interface ExprVisitor

Overrides:

caseXorExpr in class AbstractValueVisitor

casePhiExpr

public void casePhiExpr(JPhiExpr expr)

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)

Specified by:

caseNewMultiArrayExpr in interface ExprVisitor

Overrides:

caseNewMultiArrayExpr in class AbstractValueVisitor

caseNewExpr

public void caseNewExpr(@NonNull
 @NonNull JNewExpr expr)

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)

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)