Package soot.jimple.toolkits.annotation.nullcheck

Classes that carry out an analysis to determine whether or not null pointer checks are necessary.

See:
          Description

Class Summary
BranchedRefVarsAnalysis Deprecated. THIS IS KNOWN TO BE BUGGY.
LocalRefVarsAnalysisWrapper  
NullCheckEliminator  
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) definetely null, definetely 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 An intraprocedural nullness assumption analysis that computes for each location and each value in a method if the value (before or after that location) is treated as definetely null, definetely non-null or neither.
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  
 

Package soot.jimple.toolkits.annotation.nullcheck Description

Classes that carry out an analysis to determine whether or not null pointer checks are necessary.