| Package | Description |
|---|---|
| cetus.analysis |
| Modifier and Type | Class and Description |
|---|---|
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 |
MayMod
Class MayMod instantiates an IPA problem that computes may-modified
variables.
|