|
|||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||
| Class Summary | |
| 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. |
| DependenceGraph | |
| DependenceTag | |
| DependenceTagAggregator | |
| DumbPointerAnalysis | A very naive pointer analysis that just reports that any points can point to any object. |
| FieldRWTagger | |
| FullObjectSet | |
| FullRWSet | |
| 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. |
| Union | A generic interface to some set of runtime objects computed by a pointer analysis. |
| UnionFactory | |
|
|||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||||