| 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 Set<XMethod> |
Hierarchy2.resolveMethodCallTargets(org.apache.bcel.generic.InvokeInstruction invokeInstruction,
TypeFrame typeFrame,
org.apache.bcel.generic.ConstantPoolGen cpg)
Resolve possible method call targets.
|
static Set<JavaClassAndMethod> |
Hierarchy.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) |
Copyright © 2003–2015. All rights reserved.