Uses of Package
edu.umd.cs.findbugs.detect
Packages that use edu.umd.cs.findbugs.detect
Package
Description
A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
-
Classes in edu.umd.cs.findbugs.detect used by edu.umd.cs.findbugs.ba
-
Classes in edu.umd.cs.findbugs.detect used by edu.umd.cs.findbugs.detectClassDescriptionAbstract base class for finding assertionsFactory for stream objects of a particular base class type returned by any method.Scan application classes for CheckReturnValue annotations.Deprecated.AnnotationDatabases are being phased out, since annotations are now stored directly in the XClass/XMethod/XField objects.Build database of methods that return values guaranteed to be nonnullBuild database of unconditionally dereferenced parameters.Warning property for FindDeadLocalStores.This annotation is used to denote a method which relies on the default platform encoding.Sets up and stores DefaultEncodingAnnotations on JCL methods.A WarningProperty for warnings that are reported at a "doomed" Location; one that cannot return normally.The access statistics for a field.Public status of the method in NSE database TODO: implement CHECKType representing a static String.A BugInstance and its WarningPropertySet.Helper class to keep track of possible obligation transfers observed along paths where an obligation appears to be leaked.Warning properties for inconsistent synchronization detector.StreamFactory for stream objects loaded from instance fields.Warning property for a null argument being passed to a method which might dereference it.Warning properties for null pointer dereference and redundant null comparison warnings.Warning properties for FindRefComparison detector.A Stream object marks the location in the code where a stream is created.Set of streams that are in an equivalence class.A StreamEscape is an object representing the escape of a Stream to a called method.An object that examines a Location and determines if a Stream is created there.Resource tracker which determines where streams are created, and how they are used within the method.Base class for simple type checking detectors which tests if the method returns null references for specific types.