Package com.ibm.wala.analysis.nullpointer

package com.ibm.wala.analysis.nullpointer

Classes

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