| 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.deref | |
| edu.umd.cs.findbugs.ba.vna |
| Modifier and Type | Method and Description |
|---|---|
boolean |
LockSet.containsReturnValue(ValueNumberFactory factory)
Determine whether or not this lock set contains any locked values which
are method return values.
|
| Modifier and Type | Method and Description |
|---|---|
void |
UnconditionalValueDerefSet.mergeWith(UnconditionalValueDerefSet fact,
ValueNumber skipMe,
ValueNumberFactory valueNumberFactory)
Merge given dataflow fact into this one.
|
void |
UnconditionalValueDerefSet.unionWith(UnconditionalValueDerefSet fact,
ValueNumberFactory valueNumberFactory) |
| Modifier and Type | Method and Description |
|---|---|
ValueNumberFactory |
ValueNumberAnalysis.getFactory() |
| Constructor and Description |
|---|
MergeTree(ValueNumberFactory factory)
Constructor.
|
ValueNumberFrameModelingVisitor(org.apache.bcel.generic.MethodGen methodGen,
ValueNumberFactory factory,
ValueNumberCache cache,
LoadedFieldSet loadedFieldSet,
RepositoryLookupFailureCallback lookupFailureCallback)
Constructor.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.