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.type |
Modifier and Type | Method | Description |
---|---|---|
static java.util.Set<JavaClassAndMethod> |
Hierarchy.resolveMethodCallTargets(org.apache.bcel.generic.InvokeInstruction invokeInstruction,
TypeFrame typeFrame,
org.apache.bcel.generic.ConstantPoolGen cpg) |
Resolve possible method call targets.
|
static java.util.Set<XMethod> |
Hierarchy2.resolveMethodCallTargets(org.apache.bcel.generic.InvokeInstruction invokeInstruction,
TypeFrame typeFrame,
org.apache.bcel.generic.ConstantPoolGen cpg) |
Resolve possible method call targets.
|
Modifier and Type | Field | Description |
---|---|---|
TypeFrame |
TypeDataflow.LocationAndFactPair.frame |
Modifier and Type | Method | Description |
---|---|---|
TypeFrame |
TypeAnalysis.createFact() |
Modifier and Type | Method | Description |
---|---|---|
void |
TypeAnalysis.copy(TypeFrame source,
TypeFrame dest) |
|
void |
TypeAnalysis.initEntryFact(TypeFrame result) |
|
boolean |
TypeAnalysis.isFactValid(TypeFrame fact) |
|
void |
TypeAnalysis.makeFactTop(TypeFrame fact) |
|
void |
TypeAnalysis.meetInto(TypeFrame fact,
Edge edge,
TypeFrame result) |
|
protected void |
TypeAnalysis.mergeValues(TypeFrame otherFrame,
TypeFrame resultFrame,
int slot) |
|
boolean |
TypeAnalysis.same(TypeFrame fact1,
TypeFrame fact2) |
|
void |
TypeAnalysis.transfer(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle end,
TypeFrame start,
TypeFrame result) |
|
void |
TypeAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
TypeFrame fact) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.