| Class | Description |
|---|---|
| CastCheckEliminator |
A flow analysis that detects redundant cast checks.
|
| CastCheckEliminatorDumper |
A body transformer that simply calls the CastCheckEliminator analysis.
|
| CastCheckTag |
Implements a tag that can be used to tell a VM whether a cast check can
be eliminated or not.
|
| CodeBlockRWSet | |
| DependenceGraph | |
| DependenceTag | |
| DependenceTagAggregator | |
| DumbPointerAnalysis |
A very naive pointer analysis that just reports that any points can point
to any object.
|
| FieldRWTagger | |
| FullObjectSet | |
| FullRWSet | |
| InstanceKey |
An instance key is a static representative of a runtime object.
|
| LocalMayAliasAnalysis |
Conducts a method-local, equality-based may-alias analysis.
|
| LocalMustAliasAnalysis |
LocalMustAliasAnalysis attempts to determine if two local
variables (at two potentially different program points) must point
to the same object.
|
| LocalMustNotAliasAnalysis |
LocalNotMayAliasAnalysis attempts to determine if two local
variables (at two potentially different program points) definitely
point to different objects.
|
| MemoryEfficientRasUnion | |
| MethodRWSet |
Represents the read or write set of a statement.
|
| ParameterAliasTagger |
Adds colour tags to indicate potential aliasing between method parameters.
|
| PASideEffectTester | |
| RWSet |
Represents the read or write set of a statement.
|
| SideEffectAnalysis |
Generates side-effect information from a PointsToAnalysis.
|
| SideEffectTagger | |
| SiteRWSet |
Represents the read or write set of a statement.
|
| StmtRWSet |
Represents the read or write set of a statement.
|
| StrongLocalMustAliasAnalysis |
A special version of the local must-alias analysis that takes redefinitions within loops into account.
|
| Union |
A generic interface to some set of runtime objects computed by a pointer analysis.
|
| UnionFactory |