See: Description
| Class | Description |
|---|---|
| BranchedRefVarsAnalysis | Deprecated
THIS IS KNOWN TO BE BUGGY.
|
| LocalRefVarsAnalysisWrapper | Deprecated
uses deprecated type
BranchedRefVarsAnalysis and seems of no use
for Soot so marked for future deletion, unless clients object |
| 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) definitely null,
definitely non-null or neither.
|
| 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 definitely null,
definitely 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 | Deprecated
only used by deprecated type
BranchedRefVarsAnalysis; flagged
for future deletion |