soot.jimple.toolkits.annotation.nullcheck
Classes 
BranchedRefVarsAnalysis
LocalRefVarsAnalysisWrapper
NullPointerChecker
RefIntPair