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.interproc | |
edu.umd.cs.findbugs.ba.npe | |
edu.umd.cs.findbugs.ba.type |
Modifier and Type | Method and Description |
---|---|
<DatabaseType extends PropertyDatabase<KeyType,Property>,KeyType extends FieldOrMethodDescriptor,Property> |
AnalysisContext.loadPropertyDatabase(DatabaseType database,
java.lang.String fileName,
java.lang.String description)
Load an interprocedural property database.
|
<DatabaseType extends PropertyDatabase<KeyType,Property>,KeyType extends FieldOrMethodDescriptor,Property> |
AnalysisContext.loadPropertyDatabaseFromResource(DatabaseType database,
java.lang.String resourceName,
java.lang.String description)
Load an interprocedural property database.
|
<DatabaseType extends PropertyDatabase<KeyType,Property>,KeyType extends FieldOrMethodDescriptor,Property> |
AnalysisContext.storePropertyDatabase(DatabaseType database,
java.lang.String fileName,
java.lang.String description)
Write an interprocedural property database.
|
Modifier and Type | Class and Description |
---|---|
class |
FieldPropertyDatabase<Property>
Interprocedural field property database.
|
class |
MethodPropertyDatabase<Property>
A MethodPropertyDatabase keeps track of properties of methods.
|
Modifier and Type | Class and Description |
---|---|
class |
MayReturnNullPropertyDatabase
Deprecated.
|
class |
ParameterNullnessPropertyDatabase
Method property database storing which method parameters might be
unconditionally dereferenced.
|
class |
ReturnValueNullnessPropertyDatabase
Method property database storing which methods return values guaranteed to be
nonnull
|
Modifier and Type | Class and Description |
---|---|
class |
FieldStoreTypeDatabase |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.