|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
| AnalysisResults | Mappings from methods to their points-to and side-effects summaries. |
| CallGraphStats | |
| CFGAnalysis | |
| CFGAnalysisMain | |
| ControlFlowGraph | |
| DataFlowSet | Keeps mapping between references and a set of locations they refer to in alias analysis, and a mapping between locations and a set of values they possibly hold in side-effects analysis. |
| EnvCallGraph | Mappings from callsites to their possible targets, from targets to their callsites. |
| ForwardFlowAnalysis | Abstract class that provides the fixed point iteration functionality required by all ForwardFlowAnalyses. |
| InvokeGraph | A graph mapping invoke statements to their declaring and target methods. |
| Monitor | Monitor implementation, used for SafeLock analysis. |
| PointsToAnalysis | Implementation of interprocedural flow-sensitive parameterized points-to analysis analysis. |
| PointsToAnalysisMain | Walks over methods and performs points-to analysis for each unvisited method. |
| ReadWriteAnalysis | Implementation of interprocedural, flow-sensitive, parameterized side-effects analysis. |
| ReadWriteAnalysisMain | Invokes points-to analysis, walks over methdod and performs side-effects analysis for each unvisited method. |
| SafeLockAnalysis | |
| SafeLockAnalysisMain | |
| SideEffectsAnalysis | Implementation of interprocedural, flow-sensitive, parameterized side-effects analysis. |
| SideEffectsAnalysisMain | Invokes points-to analysis, walks over methdod and performs side-effects analysis for each unvisited method. |
| StaticAnalysis | Implements methods shared by points-to and side-effects analyses. |
| ValueSetPair | Representation of data flow information as a single entry in the data flow set. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||