qilin.core

Class CorePTA

java.lang.Object

qilin.core.PTA

qilin.core.CorePTA

All Implemented Interfaces:

PointsToAnalysis

Direct Known Subclasses:

BasePTA

public abstract class CorePTA
extends PTA

Field Summary

Fields

Modifier and Type	Field and Description
protected CtxConstructor	ctxCons
protected CtxSelector	ctxSel
protected HeapAbstractor	heapAbst

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, RETURN_NODE, STRING_NODE, THIS_NODE, THROW_NODE

Constructor Summary

Constructors

Constructor and Description
CorePTA(PTAScene scene)

Method Summary

Modifier and Type	Method and Description
Context	createCalleeCtx(ContextMethod caller, AllocNode receiverNode, CallSite callSite, SootMethod target)
CtxConstructor	ctxConstructor()
CtxSelector	ctxSelector()
Context	emptyContext()
abstract Propagator	getPropagator()
AllocNode	getRootNode()
HeapAbstractor	heapAbstractor()
protected ContextAllocNode	parameterize(AllocNode node, Context context)
protected FieldRefNode	parameterize(FieldRefNode frn, Context context)
ContextField	parameterize(FieldValNode fvn, Context context)
protected ContextVarNode	parameterize(LocalVarNode vn, Context context)
Node	parameterize(Node n, Context context)
ContextMethod	parameterize(SootMethod method, Context context) Finds or creates the ContextMethod for method and context.
void	setContextSelector(CtxSelector ctxSelector)

Methods inherited from class qilin.core.PTA

createCallGraphBuilder, createPAG, getCallGraph, getCgb, getExceptionHandler, getNakedReachableMethods, getPag, getReachableMethods, getScene, getView, 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

Field Detail

ctxCons

protected CtxConstructor ctxCons

ctxSel

protected CtxSelector ctxSel

heapAbst

protected HeapAbstractor heapAbst

Constructor Detail

CorePTA

public CorePTA(PTAScene scene)

Method Detail

ctxSelector

public CtxSelector ctxSelector()

Specified by:

ctxSelector in class PTA

setContextSelector

public void setContextSelector(CtxSelector ctxSelector)

ctxConstructor

public CtxConstructor ctxConstructor()

Specified by:

ctxConstructor in class PTA

heapAbstractor

public HeapAbstractor heapAbstractor()

Specified by:

heapAbstractor in class PTA

getPropagator

public abstract Propagator getPropagator()

Specified by:

getPropagator in class PTA

createCalleeCtx

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

Specified by:

createCalleeCtx in class PTA

emptyContext

public Context emptyContext()

Specified by:

emptyContext in class PTA

parameterize

public Node parameterize(Node n,
                         Context context)

Specified by:

parameterize in class PTA

parameterize

public ContextField parameterize(FieldValNode fvn,
                                 Context context)

parameterize

protected ContextVarNode parameterize(LocalVarNode vn,
                                      Context context)

parameterize

protected FieldRefNode parameterize(FieldRefNode frn,
                                    Context context)

parameterize

protected ContextAllocNode parameterize(AllocNode node,
                                        Context context)

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