Package qilin.core

Class CorePTA

java.lang.Object

qilin.core.PTA

qilin.core.CorePTA

All Implemented Interfaces:

Parameterizer, PointsToAnalysis

Direct Known Subclasses:

BasePTA

public abstract class CorePTA
extends PTA
implements Parameterizer

Field Summary

Fields inherited from class qilin.core.PTA

callGraph, cgb, eh, pag, rootNode, scene

Fields inherited from interface qilin.core.PointsToAnalysis

EXCEPTION_NODE, MAIN_THREAD_GROUP_NODE_LOCAL, STRING_NODE

Constructor Summary

Constructors

Constructor	Description
CorePTA(PTAScene scene)

Method Summary

Modifier and Type	Method	Description
ContextConstructor	contextConstructor()
ContextSelector	contextSelector()
Context	createCalleeContext(ContextMethod caller, AllocNode receiverNode, CallSite callSite, SootMethod target)
Context	emptyContext()
abstract Propagator	getPropagator()
AllocNode	getRootNode()
HeapAbstractor	heapAbstractor()
protected final void	initComponents(ContextConstructor contextConstructor, ContextSelector contextSelector, HeapAbstractor heapAbstractor)	Wires up the three context-sensitivity policies this analysis needs, atomically.
ContextAllocNode	parameterize(AllocNode node, Context context)
FieldRefNode	parameterize(FieldRefNode frn, Context context)
ContextField	parameterize(FieldValNode fvn, Context context)
ContextVarNode	parameterize(GlobalVarNode gvn, Context context)	Global variables are never context-sensitive, so they always parameterize to the empty context.
ContextVarNode	parameterize(LocalVarNode vn, Context context)
PagNode	parameterize(PagNode n, Context context)	Dispatches to the matching parameterize overload via double dispatch on n's runtime type (see PagNode.parameterize(Parameterizer, Context)), instead of an instanceof cascade that a new PagNode subtype could silently fall through.
ContextMethod	parameterize(SootMethod method, Context context)	Finds or creates the ContextMethod for method and context.
void	setContextSelector(ContextSelector contextSelector)

Methods inherited from class qilin.core.PTA

createCallGraphBuilder, createPAG, getCallGraph, getCgb, getConfig, getExceptionHandler, getNakedReachableMethods, getPag, getReachableMethods, getScene, getView, isMayAlias, pureRun, reachingObjects, reachingObjects, reachingObjects, reachingObjects, reachingObjects, reachingObjects, reachingObjects, reachingObjectsInternal, reachingObjectsInternal, reachingObjectsOfArrayElement, run

Methods inherited from class java.lang.Object

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

Constructor Details

CorePTA

public CorePTA(PTAScene scene)

Method Details

initComponents

protected final void initComponents(ContextConstructor contextConstructor,
 ContextSelector contextSelector,
 HeapAbstractor heapAbstractor)

Wires up the three context-sensitivity policies this analysis needs, atomically. Must be called exactly once, from the concrete subclass's constructor, right after super(scene) returns. Grouping all three into a single call -- instead of three independent protected field assignments a subclass constructor could partially forget -- turns a missing policy into an immediate, descriptive failure here instead of a NullPointerException surfacing later, deep inside the solver.

contextSelector

public ContextSelector contextSelector()

Specified by:

contextSelector in class PTA

setContextSelector

public void setContextSelector(ContextSelector contextSelector)

contextConstructor

public ContextConstructor contextConstructor()

Specified by:

contextConstructor in class PTA

heapAbstractor

public HeapAbstractor heapAbstractor()

Specified by:

heapAbstractor in class PTA

getPropagator

public abstract Propagator getPropagator()

Specified by:

getPropagator in class PTA

createCalleeContext

public Context createCalleeContext(ContextMethod caller,
 AllocNode receiverNode,
 CallSite callSite,
 SootMethod target)

Specified by:

createCalleeContext in class PTA

emptyContext

public Context emptyContext()

Specified by:

emptyContext in class PTA

parameterize

public PagNode parameterize(PagNode n,
 Context context)

Dispatches to the matching parameterize overload via double dispatch on n's runtime type (see PagNode.parameterize(Parameterizer, Context)), instead of an instanceof cascade that a new PagNode subtype could silently fall through.

Specified by:

parameterize in class PTA

parameterize

public ContextField parameterize(FieldValNode fvn,
 Context context)

Specified by:

parameterize in interface Parameterizer

parameterize

public ContextVarNode parameterize(LocalVarNode vn,
 Context context)

Specified by:

parameterize in interface Parameterizer

parameterize

public FieldRefNode parameterize(FieldRefNode frn,
 Context context)

Specified by:

parameterize in interface Parameterizer

parameterize

public ContextAllocNode parameterize(AllocNode node,
 Context context)

Specified by:

parameterize in interface Parameterizer

parameterize

public ContextVarNode parameterize(GlobalVarNode gvn,
 Context context)

Global variables are never context-sensitive, so they always parameterize to the empty context.

Specified by:

parameterize in interface Parameterizer

parameterize

public ContextMethod parameterize(SootMethod method,
 Context context)

Finds or creates the ContextMethod for method and context.

Specified by:

parameterize in class PTA

getRootNode

public AllocNode getRootNode()

Specified by:

getRootNode in class PTA