@ParametersAreNonnullByDefault @DefaultAnnotationForParameters(NonNull.class)
Interface | Description |
---|---|
IsNullValueAnalysisFeatures |
Knobs for null value analysis.
|
NullDerefAndRedundantComparisonCollector |
Callback interface for collecting null pointer derefs and
redundant null comparisons.
|
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.
|
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 |
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 nonnull
|
TypeQualifierNullnessAnnotationDatabase |
Implementation of INullnessAnnotationDatabase that
is based on JSR-305 type qualifiers.
|
UsagesRequiringNonNullValues | |
UsagesRequiringNonNullValues.Pair |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.