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	Description
NullPointerChecker
NullPointerColorer

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

Class	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.
NullnessAssumptionAnalysis.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	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.