|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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.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.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
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||