Package soot.shimple.internal.analysis

Shimple internal messy analysis stuff.

See:
          Description

Class Summary
DominanceFrontier Class to compute the DominanceFrontier using Cytron's celebrated efficient algorithm.
DominatorNode Class representing a dominator.
DominatorsFinder A wrapper class for our Dominators analysis.
DominatorTree Dominator tree that implements the Soot DirectedGraph interface amongst other conveniences.
GuaranteedDefs Wrapper class for a flow analysis to find all the definitions guaranteed to exist at any program point.
 

Package soot.shimple.internal.analysis Description

Shimple internal messy analysis stuff.