Package qilin.core

Class PTA

java.lang.Object

qilin.core.PTA

All Implemented Interfaces:

PointsToAnalysis

Direct Known Subclasses:

CorePTA

public abstract class PTA
extends Object
implements PointsToAnalysis

Field Summary

Fields

Modifier and Type	Field	Description
protected OnFlyCallGraph	callGraph
protected CallGraphBuilder	cgb
protected ExceptionHandler	eh
protected PAG	pag
protected AllocNode	rootNode
protected PTAScene	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	Description
PTA(PTAScene scene)

Method Summary

Modifier and Type	Method	Description
abstract Context	createCalleeCtx(ContextMethod caller, AllocNode receiverNode, CallSite callSite, SootMethod target)
protected abstract CallGraphBuilder	createCallGraphBuilder()
protected abstract PAG	createPAG()
abstract CtxConstructor	ctxConstructor()
abstract CtxSelector	ctxSelector()
abstract Context	emptyContext()
OnFlyCallGraph	getCallGraph()
CallGraphBuilder	getCgb()
ExceptionHandler	getExceptionHandler()
Collection<SootMethod>	getNakedReachableMethods()
PAG	getPag()
protected abstract Propagator	getPropagator()
Collection<ContextMethod>	getReachableMethods()
abstract AllocNode	getRootNode()
PTAScene	getScene()
View	getView()
abstract HeapAbstractor	heapAbstractor()
abstract Node	parameterize(Node n, Context context)
abstract ContextMethod	parameterize(SootMethod method, Context context)
void	pureRun()
PointsToSet	reachingObjects(Context c, SootMethod m, Local l)	Returns the set of objects pointed to by variable l in context c.
PointsToSet	reachingObjects(Context c, SootMethod m, Local l, SootField f)	Returns the set of objects pointed to by instance field f of the objects pointed to by l in context c.
PointsToSet	reachingObjects(Node n)	Returns the set of objects pointed by n: case 1: n is an insensitive node, return objects pointed by n under every possible context. case 2: n is a context-sensitive node, return objects pointed by n under the given context.
PointsToSet	reachingObjects(PointsToSet s, SootField f)	Returns the set of objects pointed to by instance field f of the objects in the PointsToSet s.
PointsToSet	reachingObjects(SootField f)	Returns the set of objects pointed to by static field f.
PointsToSet	reachingObjects(SootMethod m, Local l)	Returns the set of objects pointed to by variable l.
PointsToSet	reachingObjects(SootMethod m, Local l, SootField f)	Returns the set of objects pointed to by instance field f of the objects pointed to by l.
PointsToSet	reachingObjectsInternal(AllocNode heap, SparkField f)
PointsToSet	reachingObjectsInternal(PointsToSet bases, SparkField f)
PointsToSet	reachingObjectsOfArrayElement(PointsToSet s)	Returns the set of objects pointed to by elements of the arrays in the PointsToSet s.
void	run()

Methods inherited from class java.lang.Object

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

Field Details

scene

protected PTAScene scene

rootNode

protected AllocNode rootNode

pag

protected PAG pag

callGraph

protected OnFlyCallGraph callGraph

cgb

protected CallGraphBuilder cgb

eh

protected ExceptionHandler eh

Constructor Details

PTA

public PTA(PTAScene scene)

Method Details

createPAG

protected abstract PAG createPAG()

createCallGraphBuilder

protected abstract CallGraphBuilder createCallGraphBuilder()

run

public void run()

pureRun

public void pureRun()

getPag

public PAG getPag()

getView

public View getView()

getScene

public PTAScene getScene()

getCgb

public CallGraphBuilder getCgb()

getExceptionHandler

public ExceptionHandler getExceptionHandler()

getCallGraph

public OnFlyCallGraph getCallGraph()

getReachableMethods

public Collection<ContextMethod> getReachableMethods()

getNakedReachableMethods

public Collection<SootMethod> getNakedReachableMethods()

getPropagator

protected abstract Propagator getPropagator()

parameterize

public abstract Node parameterize(Node n,
 Context context)

parameterize

public abstract ContextMethod parameterize(SootMethod method,
 Context context)

getRootNode

public abstract AllocNode getRootNode()

emptyContext

public abstract Context emptyContext()

createCalleeCtx

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

heapAbstractor

public abstract HeapAbstractor heapAbstractor()

ctxConstructor

public abstract CtxConstructor ctxConstructor()

ctxSelector

public abstract CtxSelector ctxSelector()

reachingObjects

public PointsToSet reachingObjects(SootMethod m,
 Local l)

Returns the set of objects pointed to by variable l.

Specified by:

reachingObjects in interface PointsToAnalysis

reachingObjects

public PointsToSet reachingObjects(Node n)

Returns the set of objects pointed by n: case 1: n is an insensitive node, return objects pointed by n under every possible context. case 2: n is a context-sensitive node, return objects pointed by n under the given context.

Specified by:

reachingObjects in interface PointsToAnalysis

reachingObjectsOfArrayElement

public PointsToSet reachingObjectsOfArrayElement(PointsToSet s)

Returns the set of objects pointed to by elements of the arrays in the PointsToSet s.

Specified by:

reachingObjectsOfArrayElement in interface PointsToAnalysis

reachingObjects

public PointsToSet reachingObjects(Context c,
 SootMethod m,
 Local l)

Returns the set of objects pointed to by variable l in context c.

Specified by:

reachingObjects in interface PointsToAnalysis

reachingObjects

public PointsToSet reachingObjects(SootMethod m,
 Local l,
 SootField f)

Returns the set of objects pointed to by instance field f of the objects pointed to by l.

Specified by:

reachingObjects in interface PointsToAnalysis

reachingObjects

public PointsToSet reachingObjects(PointsToSet s,
 SootField f)

Returns the set of objects pointed to by instance field f of the objects in the PointsToSet s.

Specified by:

reachingObjects in interface PointsToAnalysis

reachingObjects

public PointsToSet reachingObjects(Context c,
 SootMethod m,
 Local l,
 SootField f)

Returns the set of objects pointed to by instance field f of the objects pointed to by l in context c.

Specified by:

reachingObjects in interface PointsToAnalysis

reachingObjects

public PointsToSet reachingObjects(SootField f)

Description copied from interface: PointsToAnalysis

Returns the set of objects pointed to by static field f.

Specified by:

reachingObjects in interface PointsToAnalysis

reachingObjectsInternal

public PointsToSet reachingObjectsInternal(PointsToSet bases,
 SparkField f)

reachingObjectsInternal

public PointsToSet reachingObjectsInternal(AllocNode heap,
 SparkField f)