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
soot.shimple	Public classes for the SSA Shimple intermediate representation.

Uses of PointsToAnalysis in soot

Methods in soot that return PointsToAnalysis

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

Methods in soot with parameters of type PointsToAnalysis

Modifier and Type	Method and Description
void	Scene.setPointsToAnalysis(PointsToAnalysis pa) Sets the active pointer analysis
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 and Description
protected PointsToAnalysis	ReachingTypeDumper.pa
protected PointsToAnalysis	ReachingTypeDumper.pa

Constructors in soot.jimple with parameters of type PointsToAnalysis

Constructor and Description
ReachingTypeDumper(PointsToAnalysis pa, java.lang.String output_dir)
ReachingTypeDumper(PointsToAnalysis pa, java.lang.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 and 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 and 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 and 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 and Description
CallGraphBuilder(PointsToAnalysis pa) This constructor builds a complete call graph using the given PointsToAnalysis to resolve virtual calls.
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 and 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 and Description
SideEffectAnalysis(PointsToAnalysis pa, CallGraph cg)
SideEffectAnalysis(PointsToAnalysis pa, CallGraph cg)
SideEffectAnalysis(PointsToAnalysis pa, CallGraph cg, Filter filter)
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 and Description
protected void	LockAllocator.findLockableReferences(java.util.List<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, PointsToAnalysis pta, CriticalSectionAwareSideEffectAnalysis tasea, java.util.Map<Value,java.lang.Integer> lockToLockNum, java.util.List<PointsToSetInternal> lockPTSets)
protected void	LockAllocator.findLockableReferences(java.util.List<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, PointsToAnalysis pta, CriticalSectionAwareSideEffectAnalysis tasea, java.util.Map<Value,java.lang.Integer> lockToLockNum, java.util.List<PointsToSetInternal> lockPTSets)

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

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

Uses of PointsToAnalysis in soot.shimple

Fields in soot.shimple declared as PointsToAnalysis

Modifier and Type	Field and Description
protected PointsToAnalysis	DefaultShimpleFactory.pta
protected PointsToAnalysis	DefaultShimpleFactory.pta