|
FindBugs™ 1.3.9 | |||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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 | |||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |