Uses of Interface
soot.PointsToAnalysis

Packages that use PointsToAnalysis

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
soot.jimple	Public classes for the Jimple intermediate representation.
soot.jimple.spark.geom.geomPA
soot.jimple.spark.ondemand
soot.jimple.spark.pag
soot.jimple.toolkits.callgraph
soot.jimple.toolkits.pointer
soot.jimple.toolkits.thread.synchronization

Uses of PointsToAnalysis in soot

Fields in soot declared as PointsToAnalysis

Modifier and Type	Field	Description
protected PointsToAnalysis	Scene.activePointsToAnalysis

Methods in soot that return PointsToAnalysis

Modifier and Type	Method	Description
PointsToAnalysis	Scene.getPointsToAnalysis()	Retrieves the active pointer analysis

Methods in soot with parameters of type PointsToAnalysis

Modifier and Type	Method	Description
void	Scene.setPointsToAnalysis(PointsToAnalysis pa)	Sets the active pointer analysis

Uses of PointsToAnalysis in soot.jimple

Fields in soot.jimple declared as PointsToAnalysis

Modifier and Type	Field	Description
protected PointsToAnalysis	ReachingTypeDumper.pa

Constructors in soot.jimple with parameters of type PointsToAnalysis

Constructor	Description
ReachingTypeDumper(PointsToAnalysis pa, String output_dir)

Uses of PointsToAnalysis in soot.jimple.spark.geom.geomPA

Classes in soot.jimple.spark.geom.geomPA that implement PointsToAnalysis

Modifier and Type	Class	Description
class	GeomPointsTo	The main interface for the points-to analysis with geometric encodings.

Uses of PointsToAnalysis in soot.jimple.spark.ondemand

Classes in soot.jimple.spark.ondemand that implement PointsToAnalysis

Modifier and Type	Class	Description
class	DemandCSPointsTo	Tries to find imprecision in points-to sets from a previously run analysis.

Uses of PointsToAnalysis in soot.jimple.spark.pag

Classes in soot.jimple.spark.pag that implement PointsToAnalysis

Modifier and Type	Class	Description
class	PAG	Pointer assignment graph.

Uses of PointsToAnalysis in soot.jimple.toolkits.callgraph

Constructors in soot.jimple.toolkits.callgraph with parameters of type PointsToAnalysis

Constructor	Description
CallGraphBuilder(PointsToAnalysis pa)	This constructor builds a complete call graph using the given PointsToAnalysis to resolve virtual calls.

Uses of PointsToAnalysis in soot.jimple.toolkits.pointer

Classes in soot.jimple.toolkits.pointer that implement PointsToAnalysis

Modifier and Type	Class	Description
class	DumbPointerAnalysis	A very naive pointer analysis that just reports that any points can point to any object.

Constructors in soot.jimple.toolkits.pointer with parameters of type PointsToAnalysis

Constructor	Description
SideEffectAnalysis(PointsToAnalysis pa, CallGraph cg)
SideEffectAnalysis(PointsToAnalysis pa, CallGraph cg, Filter filter)

Uses of PointsToAnalysis in soot.jimple.toolkits.thread.synchronization

Methods in soot.jimple.toolkits.thread.synchronization with parameters of type PointsToAnalysis

Modifier and Type	Method	Description
protected void	LockAllocator.findLockableReferences(List<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, PointsToAnalysis pta, CriticalSectionAwareSideEffectAnalysis tasea, Map<Value,Integer> lockToLockNum, List<PointsToSetInternal> lockPTSets)

Constructors in soot.jimple.toolkits.thread.synchronization with parameters of type PointsToAnalysis

Constructor	Description
CriticalSectionAwareSideEffectAnalysis(PointsToAnalysis pa, CallGraph cg, Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections, ThreadLocalObjectsAnalysis tlo)