|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
Shimple internal messy analysis stuff.
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |