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()

Method Summary

Modifier and Type	Method	Description
void	caseArrayRef(@NonNull JArrayRef ref)
void	caseCastExpr(@NonNull JCastExpr expr)
void	caseInstanceFieldRef(@NonNull JInstanceFieldRef ref)
void	caseLocal(@NonNull Local local)
void	caseNewArrayExpr(@NonNull JNewArrayExpr expr)
void	caseNewExpr(@NonNull JNewExpr expr)
void	caseNewMultiArrayExpr(@NonNull JNewMultiArrayExpr expr)
void	caseParameterRef(@NonNull JParameterRef ref)
void	caseStaticFieldRef(@NonNull JStaticFieldRef ref)
void	caseThisRef(@NonNull JThisRef ref)
void	defaultCaseValue(@NonNull Value v)
Optional<Node>	getResult()	returns a node as a result of the value to node conversion

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

caseAddExpr, caseAndExpr, caseBooleanConstant, caseCaughtExceptionRef, caseClassConstant, caseCmpExpr, caseCmpgExpr, caseCmplExpr, caseDivExpr, caseDoubleConstant, caseDynamicInvokeExpr, caseEnumConstant, caseEqExpr, caseFloatConstant, caseGeExpr, caseGtExpr, caseInstanceOfExpr, caseIntConstant, caseInterfaceInvokeExpr, caseLeExpr, caseLengthExpr, caseLongConstant, caseLtExpr, caseMethodHandle, caseMethodType, caseMulExpr, caseNeExpr, caseNegExpr, caseNullConstant, caseOrExpr, casePhiExpr, caseRemExpr, caseShlExpr, caseShrExpr, caseSpecialInvokeExpr, caseStaticInvokeExpr, caseStringConstant, caseSubExpr, caseUshrExpr, caseVirtualInvokeExpr, caseXorExpr, 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()

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

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

defaultCaseValue

public void defaultCaseValue(@NonNull
 @NonNull Value v)

Specified by:

defaultCaseValue in interface ValueVisitor

Overrides:

defaultCaseValue in class AbstractValueVisitor