FindBugs™ 1.3.9

@ParametersAreNonnullByDefault @DefaultAnnotationForParameters(value=NonNull.class)

Package edu.umd.cs.findbugs.ba.npe

Interface Summary
IsNullValueAnalysisFeatures Knobs for null value analysis.
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.
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™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.