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

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.