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.
|
Class and Description |
---|
NullPointerChecker |
NullPointerColorer |
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 |