| Package | Description |
|---|---|
| cetus.analysis | |
| cetus.application | |
| cetus.hir |
| Class and Description |
|---|
| AnalysisPass |
| ArrayParameterAnalysis.Option
Available safety options
|
| BasicBlock |
| CallGraph.Caller |
| CallGraph.Node |
| CallSite
Class CallSite represents a container that mangages the source of a top-down
problem and the target of a bottom-up problem.
|
| CetusAnnotationParser.cetus_clause |
| CetusAnnotationParser.cetus_pragma |
| DDArrayAccessInfo |
| DDGraph
Data-dependence Graph to store the result of dependence testing
|
| DDGraph.Arc |
| DDTest
Any class implementing this interface represents a Dependence testing
algorithm and provides the common functionality that these tests use to
interface with the dependence test wrapper.
|
| DependenceVector
Stores and manipulates direction vectors for loop-based dependences
|
| DFAGraph
Class DFAGraph represents a directed graph with a set of
DFANode
objects. |
| DFANode
Class DFANode represents a node object to be used as workspace in any
data flow analysis.
|
| Domain
A class that implements Domain is used to represent container for data used
in data flow analysis.
|
| IPAGraph
Class IPAGraph provides a call graph for interprocedural analysis.
|
| IPAnalysis
Class IPAnalysis provides common framework for interprocedural analysis
passes.
|
| IPANode
Class IPANode represents workspace for a procedure, used in interprocedural
analysis.
|
| IPPointsToAnalysis.AbstractLocation
AbstractLocation represents a abstract location that is not referenced to
in terms of a program variable.
|
| LoopInfo
Represents loop-related information
|
| NormalExpression
Deprecated.
|
| NullDomain
Class NullDomain represents a Domain that contains no data.
|
| OmpParser.omp_clause |
| OmpParser.omp_pragma |
| PointsToDomain
PointsToDomain represents a set of pointer-relationships at
a given program point, and is used by the Points-to Analyzer.
|
| PointsToDomain.Universe
The Universe Domain is associated with the Points-To Domain
and hence the points-to analyzer.
|
| PointsToRel
Points to relationships represent the link from the
head of the relationship to the tail.
|
| ProcBasicBlock |
| RangeDomain
RangeDomain provides symbolic environment for symbolic expression
comparison.
|
| RangeTest
Symbolic Range Test for disproving loop-carried dependences between two
subscript expressions.
|
| Relation
Class Relation represents symbolic relationship between two expressions.
|
| Section
Class Section represents a list of array subscripts that expresses a subset
of the whole array elements.
|
| Section.ELEMENT
Represents the elements contained in a section.
|
| Section.MAP
Class MAP represents map from variables to their sections.
|
| SetDomain
Class SetDomain represents a set-based domain.
|
| SubscriptPair
Creates a pair of affine subscripts where subscript is a single dimension of
an array reference
|
| Class and Description |
|---|
| AnalysisPass |
| CFGraph
CFGraph supports creation of statmenet-level control flow graphs.
|
| DFAGraph
Class DFAGraph represents a directed graph with a set of
DFANode
objects. |
| DFANode
Class DFANode represents a node object to be used as workspace in any
data flow analysis.
|
| Class and Description |
|---|
| DDGraph
Data-dependence Graph to store the result of dependence testing
|
| RangeDomain
RangeDomain provides symbolic environment for symbolic expression
comparison.
|
| Section.MAP
Class MAP represents map from variables to their sections.
|