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 and Description |
---|
DirectlyRelevantTypeQualifiersDatabase
Database of type qualfiers applied directly to methods.
|
Class and 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 and Description |
---|
TypeQualifierValue
A TypeQualifierValue is a pair specifying a type qualifier annotation and a
value.
|
Class and Description |
---|
BackwardTypeQualifierDataflowFactory
Factory for BackwardTypeQualifierDataflow objects for given type qualifier
values.
|
ForwardTypeQualifierDataflowFactory
Factory for producing ForwardTypeQualifierDataflow objects for various kinds
of type qualifiers.
|
Class and 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.