Package com.ibm.wala.analysis.nullpointer

Class Summary

Class	Description
IntraproceduralNullPointerAnalysis	Intraprocedural dataflow analysis to detect impossible NullPointerExceptions.
RelevantVariableFinder	Helper class to find the variable that may be null.