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 and 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 and Description |
---|---|
TypeFrame |
TypeDataflow.LocationAndFactPair.frame |
Modifier and Type | Method and Description |
---|---|
TypeFrame |
TypeAnalysis.createFact() |
Modifier and Type | Method and 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) |
SpotBugs is licensed under the LGPL.