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.