|
Class Summary |
| AnalysisObjectSpec |
Allows referring to analysis objects in a simple textual fashion. |
| AnalysisObjectSpec.IPSSAObjectSpec |
|
| AnalysisObjectSpec.PAObjectSpec |
|
| DefinitionSet |
|
| IteratorHelper |
|
| IteratorHelper.EmptyIterator |
|
| IteratorHelper.EmptyIterator.FACTORY |
|
| IteratorHelper.SingleIterator |
|
| ReachabilityTrace |
Implements a trace of SSADefinitions. |
| ReachabilityTrace.Algorithms |
|
| SimpleDominatorQuery |
A pretty obvious implementation of DominatorQuery, nothing fancy here. |
| SimpleDominatorQuery.TestSimpleDominatorQuery |
|
| SSAGraphPrinter |
|