| AbstractInterproceduralAnalysis |
Inter-procedural iterator skeleton for summary-based analysis
A "summary" is an abstract element associated to each method that fully models the effect of calling the method.
|
| PurityAnalysis |
Purity analysis phase.
|
| PurityEdge |
An edge in a purity graph.
|
| PurityGlobalNode |
The GBL node.
|
| PurityGraph |
Purity graphs are mutable structures that are updated in-place.
|
| PurityGraphBox |
Simple box class that encapsulates a reference to a PurityGraph.
|
| PurityNode |
Interface shared by all kinds of nodes in a PurityGraph.
|
| PurityParamNode |
A node representing a method parameter.
|
| PurityThisNode |
A node representing the this parameter.
|
| SootMethodFilter |
Allows specifying which SootMethod you want to analyse in a AbstractInterproceduralAnalysis.
|