@ParametersAreNonnullByDefault @AnalysisContextContained
Package edu.umd.cs.findbugs.ba.npe
-
Interface Summary Interface Description IsNullValueAnalysisFeatures Knobs for null value analysis.NullDerefAndRedundantComparisonCollector Callback interface for collecting null pointer derefs and redundant null comparisons. -
Class Summary Class Description 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.IsNullValueAnalysis.PointerEqualityCheck IsNullValueDataflow IsNullValueFrame IsNullValueFrameModelingVisitor LocationWhereValueBecomesNull A Location where a particular value number becomes null.MayReturnNullPropertyDatabase Deprecated. NonNullParamViolation 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.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 A dataflow analysis to determine, at each location in a method's CFG, whether or not it is possible to return normally at that location.ReturnPathTypeDataflow Dataflow class for ReturnPathTypeAnalysis.ReturnValueNullnessPropertyDatabase Method property database storing which methods return values guaranteed to be nonnullTypeQualifierNullnessAnnotationDatabase Implementation of INullnessAnnotationDatabase that is based on JSR-305 type qualifiers.UsagesRequiringNonNullValues UsagesRequiringNonNullValues.Pair