Class IntraprocNullPointerAnalysis<T extends ISSABasicBlock>
java.lang.Object
com.ibm.wala.cfg.exc.intra.IntraprocNullPointerAnalysis<T>
Intraprocedural dataflow analysis to detect impossible NullPointerExceptions.
- Author:
- Juergen Graf <graf@kit.edu>
-
Method Summary
-
Method Details
-
getState
-