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 | 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 | Description |
---|---|---|
class |
FieldPropertyDatabase<Property> |
Interprocedural field property database.
|
class |
MethodPropertyDatabase<Property> |
A MethodPropertyDatabase keeps track of properties of
methods.
|
Modifier and Type | Class | 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 | Description |
---|---|---|
class |
FieldStoreTypeDatabase |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.