Package soot.jimple.toolkits.invoke

A toolkit to deal with Jimple and invoke statements.

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.
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.
TypeSet 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).
VTANativeAdjustor Adjusts the VTA type graph to take into account the effects of native methods.
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.
 

Package soot.jimple.toolkits.invoke Description

A toolkit to deal with Jimple and invoke statements. Includes a whole bevy of classes useful for whole-program analysis.