|
||||||||||
| 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 | |||||||||