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 |