Package pascal.taie.analysis.pta
Class PointerAnalysis
java.lang.Object
pascal.taie.analysis.Analysis
pascal.taie.analysis.ProgramAnalysis<PointerAnalysisResult>
pascal.taie.analysis.pta.PointerAnalysis
-
Field Summary
-
Constructor Summary
-
Method Summary
Methods inherited from class pascal.taie.analysis.Analysis
getId, getOptions
-
Field Details
-
ID
- See Also:
-
-
Constructor Details
-
PointerAnalysis
-
-
Method Details
-
analyze
Description copied from class:ProgramAnalysis
Runs this analysis for the whole program. If the result is not used by following analyses, then this method should returnnull
.- Specified by:
analyze
in classProgramAnalysis<PointerAnalysisResult>
- Returns:
- the analysis result for the whole program.
The result will be stored in
World
.
-