| 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.