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 |
---|---|---|
ReturnPath |
ReturnPathAnalysis.createFact() |
Modifier and Type | Method | Description |
---|---|---|
void |
ReturnPathAnalysis.copy(ReturnPath source,
ReturnPath dest) |
|
void |
ReturnPath.copyFrom(ReturnPath other) |
|
void |
ReturnPathAnalysis.initEntryFact(ReturnPath fact) |
|
boolean |
ReturnPathAnalysis.isFactValid(ReturnPath fact) |
|
boolean |
ReturnPathAnalysis.isTop(ReturnPath fact) |
|
void |
ReturnPathAnalysis.makeFactTop(ReturnPath fact) |
|
void |
ReturnPathAnalysis.meetInto(ReturnPath fact,
Edge edge,
ReturnPath result) |
|
void |
ReturnPath.mergeWith(ReturnPath other) |
|
boolean |
ReturnPathAnalysis.same(ReturnPath fact1,
ReturnPath fact2) |
|
boolean |
ReturnPath.sameAs(ReturnPath other) |
|
void |
ReturnPathAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
ReturnPath fact) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.