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 |
Copyright © 2020 Soot OSS. All rights reserved.