Package | Description |
---|---|
cetus.analysis | |
cetus.application |
Modifier and Type | Class and Description |
---|---|
class |
AliasAnalysis
Alias analysis is used to obtain alias sets i.e.
|
class |
ArrayParameterAnalysis
This analysis detects array- or pointer-type formal parameters that can be
safely expressed in terms of the argument arrays.
|
class |
ArrayPrivatization
ArrayPrivatization performs privatization analysis of the program.
|
class |
DDTDriver
Performs array data-dependence analysis on eligible loop nests in the program
|
class |
IPAnalysis
Class IPAnalysis provides common framework for interprocedural analysis
passes.
|
class |
IPPointsToAnalysis
Interprocedural analysis enables computation of points-to relations through
whole-program analysis provided by the common interprocedural framework in
Cetus.
|
class |
IPRangeAnalysis
Class IPRangeAnalysis performs interprocedural range analysis.
|
class |
LoopAnalysisPass |
class |
LoopParallelizationPass
Whole program analysis that uses data-dependence information to
internally annotate loops that are parallel
|
class |
MayMod
Class MayMod instantiates an IPA problem that computes may-modified
variables.
|
class |
PointsToAnalysis
The Points-To Analyzer creates intraprocedural pointer relationships for C
programs.
|
class |
RangeAnalysis
RangeAnalysis performs symbolic range propagation for the programs by
symbolically executing the program and abstracting the values of integer
variables with a symbolic bounds.
|
class |
Reduction
Performs reduction variable analysis to detect and annotate statements like
x = x + i in loops.
|
Modifier and Type | Method and Description |
---|---|
static void |
AnalysisPass.run(AnalysisPass pass) |
Modifier and Type | Class and Description |
---|---|
class |
DataFlowAnalysis
This class supports the basic data flow analysis.
|
class |
IPChainAnalysis
This class performs the interprocedural Def-Use and Use-Def chain computation.
|
class |
PSGReachingDefinitionAnalysis
This class performs the reaching definition analysis for the program summary graph.
|
class |
PSGReachingGlobalProcSetAnalysis
This class generates connection information between function calls containing global variables.
|
class |
PSGRegionalKillSetAnlaysis
This class performs the regional kill set analysis for program summary graph.
|
class |
PSGUpwardsExposedUsesAnalysis
This class performs the upwards exposed uses analysis within the program summary graph.
|
class |
ReachingDefinitionAnalysis
This class performs the reaching definition analysis.
|