| 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.detect |
| Class and Description |
|---|
| UnreadFields |
| UnreadFieldsData |
| Class and Description |
|---|
| AnyMethodReturnValueStreamFactory
Factory for stream objects of a particular base class type returned by any
method.
|
| BuildCheckReturnAnnotationDatabase
Scan application classes for CheckReturnValue annotations.
|
| BuildNonNullAnnotationDatabase
Deprecated.
AnnotationDatabases are being phased out, since annotations are
now stored directly in the XClass/XMethod/XField objects.
Resolving nullness annotations will be handled through the
JSR-305 type qualifier code.
|
| BuildNonnullReturnDatabase
Build database of methods that return values guaranteed to be nonnull
|
| BuildStringPassthruGraph.MethodParameter |
| BuildUnconditionalParamDerefDatabase
Build database of unconditionally dereferenced parameters.
|
| DeadLocalStoreProperty
Warning property for FindDeadLocalStores.
|
| DoomedCodeWarningProperty
A WarningProperty for warnings that are reported at a "doomed" Location; one
that cannot return normally.
|
| FindNoSideEffectMethods.MethodSideEffectStatus
Public status of the method in NSE database
TODO: implement CHECK
|
| FindRefComparison.StaticStringType
Type representing a static String.
|
| InconsistentSyncWarningProperty
Warning properties for inconsistent synchronization detector.
|
| InstanceFieldLoadStreamFactory
StreamFactory for stream objects loaded from instance fields.
|
| Naming.NamingProperty |
| NonNullReturnProperty |
| NullArgumentWarningProperty
Warning property for a null argument being passed to a method which might
dereference it.
|
| NullDerefProperty
Warning properties for null pointer dereference and redundant null comparison
warnings.
|
| RefComparisonWarningProperty
Warning properties for FindRefComparison detector.
|
| Stream
A Stream object marks the location in the code where a stream is created.
|
| StreamEquivalenceClass
Set of streams that are in an equivalence class.
|
| StreamEscape
A StreamEscape is an object representing the escape of a Stream to a called
method.
|
| StreamFactory
An object that examines a Location and determines if a Stream is created
there.
|
| StreamResourceTracker
Resource tracker which determines where streams are created, and how they are
used within the method.
|
| TypeReturnNull
Base class for simple type checking detectors which tests if the method
returns null references for specific types.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.