|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| PointerAnalysisResults | This interface summarizes all the relevant results of the external pointer analysis in one convenient place. |
| Class Summary | |
|---|---|
| ClassInvariantAnalysis | ClassInvariantAnalysis |
| CollectionFinder | Finds and outputs information about polymorphic: - fields - method parameters The result is output in XML. |
| ExceptionAnalysis | Uses a call graph to figure out what exceptions can be thrown by a method invocation. |
| LoopAnalysis | |
| ObjectCreationGraph | |
| ObjectNamingSupport | |
| PA | Pointer analysis using BDDs. |
| PA.ThreadRootMap | |
| PA.VarPathSelector | |
| PACallGraph | PACallGraph |
| PACallGraph.BDDSet | |
| PACallGraph.PACallTargetMap | |
| PAMethodSummary | |
| PAProxy | |
| PAQuery | A query on top of PAResults. |
| PAQuery.ConstParameterFinder | Application for finding and printing const-parameters. |
| PAQuery.HeapReferenceStat | Produces statistics on how many locations are references by a given load or store within a given context. |
| PAQuery.ParamAliasFinder | Finds parameter aliases under different constexts. |
| PAResults | Records results for pointer analysis. |
| PAResults.HeapLocation | |
| PAResults.HeapLocation.FACTORY | |
| PAResultSelector | A helper class for PAResults. |
| ProgramLocation | This class provides a general mechanism to describe a location in the code, independent of IR type. |
| ProgramLocation.BCProgramLocation | |
| ProgramLocation.FakeProgramLocation | |
| ProgramLocation.PlaceholderParameterProgramLocation | |
| ProgramLocation.QuadProgramLocation | |
| SubtypeHelper | |
| SubtypeHelper.KnownClassesSubtypeHelper | |
| SubtypeHelper.OfflineSubtypeHelper | |
| SubtypeHelper.OnlineSubtypeHelper | |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||