| Interface | Description |
|---|---|
| DefUseChain |
A class that implements DefUseChain provides the Def-Use chain information
which is computed from the control flow graph.
|
| UseDefChain |
A class that implements UseDefChain provides the Use-Def chain information
which is computed from the control flow graph.
|
| Class | Description |
|---|---|
| AnalysisTarget |
This class contains the information for the target of the data flow analysis.
|
| ChainComputer | |
| ChainTools |
Provides tools for Def-Use or Use-Def chain computation.
|
| ControlDependenceGraph |
This class builds the control dependence graph using the post dominance tree.
|
| DataFlowAnalysis |
This class supports the basic data flow analysis.
|
| IPChainAnalysis |
This class performs the interprocedural Def-Use and Use-Def chain computation.
|
| ProgramSlicer |
This class slices the program using the def-use or use-def chain and
the control dependence graph.
|
| ProgramSummaryGraph |
This class performs the creation of program summary graph for executing
the following interprocedural data flow analysis.
|
| PSGReachingDefinitionAnalysis |
This class performs the reaching definition analysis for the program summary graph.
|
| PSGReachingGlobalProcSetAnalysis |
This class generates connection information between function calls containing global variables.
|
| PSGRegionalKillSetAnlaysis |
This class performs the regional kill set analysis for program summary graph.
|
| PSGUpwardsExposedUsesAnalysis |
This class performs the upwards exposed uses analysis within the program summary graph.
|
| ReachingDefinitionAnalysis |
This class performs the reaching definition analysis.
|
| SlicingTools |
This class provides several utility functions for the program slicing.
|
| ThirdPartyLibrary |
This class provides a way to enrol the information on the third party functions
which may affect the reaching definition analysis.
|
| Enum | Description |
|---|---|
| ChainTools.MyType | |
| ProgramSlicer.Criteria |