Uses of Package
soot.jimple.toolkits.annotation.nullcheck

Packages that use soot.jimple.toolkits.annotation.nullcheck

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
soot.jimple.toolkits.annotation.nullcheck	Classes that carry out an analysis to determine whether or not null pointer checks are necessary.
soot.jimple.toolkits.callgraph

Classes in soot.jimple.toolkits.annotation.nullcheck used by soot

Class and Description
NullPointerChecker
NullPointerColorer

Classes in soot.jimple.toolkits.annotation.nullcheck used by soot.jimple.toolkits.annotation.nullcheck

Class and Description
NullCheckEliminator.AnalysisFactory
NullnessAnalysis An intraprocedural nullness analysis that computes for each location and each value in a method if the value is (before or after that location) definitely null, definitely non-null or neither.
NullnessAnalysis.AnalysisInfo The analysis info is a simple mapping of type Value to any of the constants BOTTOM, NON_NULL, NULL or TOP.
NullPointerChecker
NullPointerColorer
RefIntPair Deprecated. only used by deprecated type BranchedRefVarsAnalysis; flagged for future deletion

Classes in soot.jimple.toolkits.annotation.nullcheck used by soot.jimple.toolkits.callgraph

Class and Description
NullnessAnalysis An intraprocedural nullness analysis that computes for each location and each value in a method if the value is (before or after that location) definitely null, definitely non-null or neither.