Class IntraprocReachingDefs
java.lang.Object
com.ibm.wala.examples.analysis.dataflow.IntraprocReachingDefs
Compute intraprocedural reaching defs of global variables, i.e., the defs are
SSAPutInstruction
s on static state.- Author:
- manu
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
IntraprocReachingDefs
-
-
Method Details
-
analyze
run the analysis- Returns:
- the solver used for the analysis, which contains the analysis result
-