| 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.jsr305 |
Support for analyzing code containing JSR-305 type qualifier annotations.
|
| edu.umd.cs.findbugs.ba.npe | |
| edu.umd.cs.findbugs.classfile.engine.bcel |
Support for analyses based on the BCEL bytecode framework.
|
| edu.umd.cs.findbugs.detect |
| Class | Description |
|---|---|
| DirectlyRelevantTypeQualifiersDatabase |
Database of type qualfiers applied directly to methods.
|
| Class | Description |
|---|---|
| AbstractMethodAnnotationAccumulator |
Accumulate type qualifier annotations on method, taking supertype methods
into account.
|
| BackwardTypeQualifierDataflow |
Dataflow class for BackwardTypeQualifierDataflowAnalysis.
|
| BackwardTypeQualifierDataflowAnalysis |
Backwards type qualifier dataflow analysis.
|
| FlowValue |
Flow value type for type qualifier dataflow analysis.
|
| ForwardTypeQualifierDataflow |
Dataflow object for ForwardTypeQualifierDataflowAnalysis.
|
| ForwardTypeQualifierDataflowAnalysis |
Forward type qualifier dataflow analysis.
|
| SourceSinkInfo |
Information about a source or sink in the type qualifier dataflow analysis.
|
| SourceSinkType |
Types of sources and sinks in type qualifier dataflow analysis.
|
| TypeQualifierAnnotation |
A type qualifier applied to a field, method, parameter, or return value.
|
| TypeQualifierAnnotationLookupResult |
The result of looking up a TypeQualifierAnnotation.
|
| TypeQualifierDataflow |
Dataflow class for TypeQualifierDataflowAnalysis.
|
| TypeQualifierDataflowAnalysis |
Abstract base class for type qualifier dataflow analyses.
|
| TypeQualifierDataflowFactory |
Factory to create and cache TypeQualifierDataflow objects for a particular
method.
|
| TypeQualifierValue |
A TypeQualifierValue is a pair specifying a type qualifier annotation and a
value.
|
| TypeQualifierValueSet |
Set of ValueNumbers and their corresponding FlowValues.
|
| Class | Description |
|---|---|
| TypeQualifierValue |
A TypeQualifierValue is a pair specifying a type qualifier annotation and a
value.
|
| Class | Description |
|---|---|
| BackwardTypeQualifierDataflowFactory |
Factory for BackwardTypeQualifierDataflow objects for given type qualifier
values.
|
| ForwardTypeQualifierDataflowFactory |
Factory for producing ForwardTypeQualifierDataflow objects for various kinds
of type qualifiers.
|
| Class | Description |
|---|---|
| TypeQualifierValue |
A TypeQualifierValue is a pair specifying a type qualifier annotation and a
value.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.