Package | Description |
---|---|
edu.umd.cs.findbugs.ba |
A bytecode analysis framework for BCEL, providing CFG construction,
generic dataflow analysis, and a variety of specific dataflow analyses.
|
edu.umd.cs.findbugs.ba.deref | |
edu.umd.cs.findbugs.ba.npe | |
edu.umd.cs.findbugs.ba.obl |
Implementation of dataflow analysis for checking whether
obligations to close streams and other resources (e.g.
|
edu.umd.cs.findbugs.classfile.engine.bcel |
Support for analyses based on the BCEL bytecode framework.
|
edu.umd.cs.findbugs.detect |
Class | Description |
---|---|
IsNullValueDataflow | |
ParameterNullnessPropertyDatabase |
Method property database storing which method parameters might be
unconditionally dereferenced.
|
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 |
Class | Description |
---|---|
IsNullValueDataflow | |
IsNullValueFrame |
Class | Description |
---|---|
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 | |
IsNullValueAnalysisFeatures |
Knobs for null value analysis.
|
IsNullValueFrame | |
LocationWhereValueBecomesNull |
A Location where a particular value number becomes null.
|
NullDerefAndRedundantComparisonCollector |
Callback interface for collecting null pointer derefs and redundant null
comparisons.
|
NullValueUnconditionalDeref |
Collected information about a single value number observed at one or more
locations to be both definitely-null and 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.
|
UsagesRequiringNonNullValues | |
UsagesRequiringNonNullValues.Pair |
Class | Description |
---|---|
IsNullValueDataflow |
Class | Description |
---|---|
IsNullValueDataflow | |
ReturnPathTypeDataflow |
Dataflow class for ReturnPathTypeAnalysis.
|
UsagesRequiringNonNullValues |
Class | Description |
---|---|
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.
|
NullDerefAndRedundantComparisonCollector |
Callback interface for collecting null pointer derefs and redundant null
comparisons.
|
NullValueUnconditionalDeref |
Collected information about a single value number observed at one or more
locations to be both definitely-null and unconditionally dereferenced.
|
RedundantBranch |
An instruction recorded as a redundant reference comparison.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.