|
Class Summary |
| AccessManager |
Methods for checking Java scope and visibiliity requirements. |
| ClassHierarchyAnalysis |
Implementation of Class Hierarchy Analysis. |
| ClosedInvokeGraph |
An invoke graph which (thinks it) knows about the whole world. |
| InlinerSafetyManager |
Methods for checking safety requirements for inlining. |
| InvokeGraph |
A graph mapping invoke statements to their declaring and target methods. |
| InvokeGraphBuilder |
A transformer which calls upon CHA to build the default invoke graph for the Scene. |
| SiteInliner |
Provides methods to inline a given invoke site. |
| StaticInliner |
Uses the Scene's currently-active InvokeGraph to inline monomorphic call sites. |
| StaticMethodBinder |
Uses the Scene's currently-active InvokeGraph to statically bind monomorphic call sites. |
| SynchronizerManager |
Utility methods for dealing with synchronization. |
| ThrowManager |
Utility methods for dealing with traps. |
| VariableTypeAnalysis |
Incomplete implementation of Variable Type Analysis (as defined in Vijay Sundaresan's thesis). |
| VTATypeGraph |
A graph where the nodes are types in the analysed program;
edges indicate that there is assignment between two types. |
A toolkit to deal with Jimple and invoke statements.
Includes a whole bevy of classes useful for whole-program analysis.