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