@DefaultAnnotationForParameters(value=NonNull.class)

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

Interface Summary
IsNullValueAnalysisFeatures Knobs for null value analysis.
NonNullContractCollector.SpecificationBuilder  
NullDerefAndRedundantComparisonCollector Callback interface for collecting null pointer derefs and redundant null comparisons.
 

Class Summary
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  
MayReturnNullPropertyDatabase Deprecated.  
NonNullContractCollector Find the contract specified by @NonNull and @CheckForNull parameter annotations in the class hierarchy.
NonNullParamViolation  
NonNullReturnValueAnnotationChecker Deprecated.  
NonNullSpecification  
NullDerefAndRedundantComparisonFinder A user-friendly front end for finding null pointer dereferences and redundant null comparisions.
ParameterNullnessProperty Method property recording which parameters are (or should be) non-null, meaning that null values should be passed as their arguments.
ParameterNullnessPropertyDatabase Method property database storing which method parameters might be unconditionally dereferenced.
RedundantBranch An instruction recorded as a redundant reference comparison.
UnconditionalDerefAnalysis Dataflow analysis to look for parameters dereferenced unconditionally.
UnconditionalDerefDataflow Dataflow class for UnconditionalDerefAnalysis.
UnconditionalDerefSet  
WillBeDereferencedAnalysis Dataflow analysis to look for parameters dereferenced unconditionally.
WillBeDereferencedInfo