| 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 and 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
|
| UsagesRequiringNonNullValues |
| Class and Description |
|---|
| IsNullValueDataflow |
| IsNullValueFrame |
| Class and 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.
|
| ParameterNullnessProperty
Method property recording which parameters are (or should be)
non-null, meaning that null values should not be passed
as their arguments.
|
| 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 and Description |
|---|
| IsNullValueDataflow |
| Class and Description |
|---|
| IsNullValueDataflow |
| ReturnPathTypeDataflow
Dataflow class for ReturnPathTypeAnalysis.
|
| UsagesRequiringNonNullValues |
| Class and 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.