|
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 |
|