|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
TypeGraph | A graph which contains types as nodes; used in VTA. |
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. |
InvokeGraphTrimmer | |
MethodCallGraph | A directed graph whose nodes are methods and whose edges are call edges. |
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. |
TypeElement2 | |
TypeGraphNode2 | |
TypeSet | A bit-vector implementation for flow sets with types as its elements. |
TypeSet2 | A bit-vector implementation for flow sets with types as its elements. |
VariableTypeAnalysis | An implementation of Variable Type Analysis (as defined in Vijay Sundaresan's thesis). |
VariableTypeAnalysis2 | An implementation of Variable Type Analysis (as defined in Vijay Sundaresan's thesis). |
VTANativeAdjustor | Adjusts the VTA type graph to take into account the effects of native methods. |
VTANativeHelper2 | |
VTANativeMethodWrapper2 | |
VTATestingFramework | Tests whether VTA detects all runtime types. |
VTATypeGraph | A graph where the nodes are types in the analysed program; edges indicate that there is assignment between two types. |
VTATypeGraph2 | 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.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |