|
|||||||||||
| 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.pag | |
| soot.jimple.toolkits.callgraph | |
| soot.jimple.toolkits.pointer | |
| Uses of PointsToAnalysis in soot |
| Methods in soot that return PointsToAnalysis | |
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 |
| Uses of PointsToAnalysis in soot.jimple |
| Fields in soot.jimple declared as PointsToAnalysis | |
protected PointsToAnalysis |
ReachingTypeDumper.pa
|
| Constructors in soot.jimple with parameters of type PointsToAnalysis | |
ReachingTypeDumper(PointsToAnalysis pa,
String output_dir)
|
|
| 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. |
|
| 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)
|
|
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||