| 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. | 
| Modifier and Type | Method and Description | 
|---|---|
| ReturnValueNullnessPropertyDatabase | AnalysisContext. getReturnValueNullnessPropertyDatabase()Get the property database recording which methods always return nonnull
 values | 
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.