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