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