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.