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.
|
Modifier and Type | Method | Description |
---|---|---|
abstract boolean |
AbstractDataflowAnalysis.isFactValid(Fact fact) |
Determine whether the given fact is valid
(neither top nor bottom).
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.