Uses of Interface
soot.PointsToAnalysis

Packages that use PointsToAnalysis

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

PointsToAnalysis	Scene.getPointsToAnalysis() Retrieves the active pointer analysis
PointsToAnalysis	Scene.getPointsToAnalysis() Retrieves the active pointer analysis

Methods in soot with parameters of type PointsToAnalysis

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

protected PointsToAnalysis	ReachingTypeDumper.pa
protected PointsToAnalysis	ReachingTypeDumper.pa

Constructors in soot.jimple with parameters of type PointsToAnalysis

ReachingTypeDumper(PointsToAnalysis pa, String output_dir)

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

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

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

class

PAG Pointer assignment graph.

Uses of PointsToAnalysis in soot.jimple.toolkits.callgraph

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

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

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

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

protected void	LockAllocator.findLockableReferences(List<soot.jimple.toolkits.thread.synchronization.CriticalSection> AllTransactions, PointsToAnalysis pta, CriticalSectionAwareSideEffectAnalysis tasea, Map<Value,Integer> lockToLockNum, List<PointsToSetInternal> lockPTSets)
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

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

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

Uses of PointsToAnalysis in soot.shimple

Fields in soot.shimple declared as PointsToAnalysis

protected PointsToAnalysis	DefaultShimpleFactory.pta
protected PointsToAnalysis	DefaultShimpleFactory.pta