| Interface Summary | |
|---|---|
| IsNullValueAnalysisFeatures | Knobs for null value analysis. |
| NonNullContractCollector.SpecificationBuilder | |
| NullDerefAndRedundantComparisonCollector | Callback interface for collecting null pointer derefs and redundant null comparisons. |
| Class Summary | |
|---|---|
| DerefFinder | |
| IsNullConditionDecision | A control decision which resulted in information being gained about whether a particular value is null or non-null on the IFCMP_EDGE and FALL_THROUGH_EDGE branches. |
| IsNullValue | A class to abstractly represent values in stack slots, indicating whether thoses values can be null, non-null, null on some incoming path, or unknown. |
| IsNullValueAnalysis | A dataflow analysis to detect potential null pointer dereferences. |
| IsNullValueDataflow | |
| IsNullValueFrame | |
| IsNullValueFrameModelingVisitor | |
| LocationWhereValueBecomesNull | A Location where a particular value number becomes null. |
| MayReturnNullPropertyDatabase | MethodPropertyDatabase for keeping track of which methods may return null. |
| NonNullContractCollector | Find the contract specified by @NonNull and @CheckForNull parameter annotations in the class hierarchy. |
| NonNullParamViolation | |
| NonNullReturnValueAnnotationChecker | This callback can be passed to Hierarchy.findInvocationLeastUpperBound to find the @NonNull or @CheckForNull method return value annotation which should be applied at a call site. |
| NonNullSpecification | |
| NullDerefAndRedundantComparisonFinder | A user-friendly front end for finding null pointer dereferences and redundant null comparisions. |
| NullValueUnconditionalDeref | Collected information about a single value number observed at one or more locations to be both definitely-null and unconditionally dereferenced. |
| ParameterNullnessProperty | Method property recording which parameters are (or should be) non-null, meaning that null values should not be passed as their arguments. |
| ParameterNullnessPropertyDatabase | Method property database storing which method parameters might be unconditionally dereferenced. |
| PointerUsageRequiringNonNullValue | |
| RedundantBranch | An instruction recorded as a redundant reference comparison. |
| ReturnPathType | A dataflow value that indicates what kind of return path is possible at the current program location. |
| ReturnPathTypeAnalysis | |
| ReturnPathTypeDataflow | Dataflow class for ReturnPathTypeAnalysis. |
| ReturnValueNullnessPropertyDatabase | Method property database storing which methods return values guaranteed to be nonnull |
| UnconditionalDerefAnalysis | Dataflow analysis to look for parameters dereferenced unconditionally. |
| UnconditionalDerefDataflow | Dataflow class for UnconditionalDerefAnalysis. |
| UnconditionalDerefSet | |
| UsagesRequiringNonNullValues | |
| UsagesRequiringNonNullValues.Pair | |
| WillBeDereferencedInfo | |