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 | 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 | 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 | Description |
---|---|---|
ValueNumberFactory |
ValueNumberAnalysis.getFactory() |
Constructor | 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.