Class IntraproceduralNullPointerAnalysis
java.lang.Object
com.ibm.wala.analysis.nullpointer.IntraproceduralNullPointerAnalysis
Intraprocedural dataflow analysis to detect impossible NullPointerExceptions.
This class is basically a copy of IntraprocNullPointerAnalysis
, but does only provide
the result of the analysis instead of a pruned CFG.
- Author:
- Stephan Gocht
<stephan@gobro.de>
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
IntraproceduralNullPointerAnalysis
-
-
Method Details
-
nullPointerExceptionThrowState
-