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