Package pascal.taie.analysis.sideeffect
Class SideEffectAnalysis
-
Field Summary
-
Constructor Summary
-
Method Summary
Methods inherited from class pascal.taie.analysis.Analysis
getId, getOptions
-
Field Details
-
ID
- See Also:
-
-
Constructor Details
-
SideEffectAnalysis
-
-
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<SideEffect>
- Returns:
- the analysis result for the whole program.
The result will be stored in
World
.
-