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.bcp | |
edu.umd.cs.findbugs.ba.deref | |
edu.umd.cs.findbugs.ba.npe | |
edu.umd.cs.findbugs.ba.vna | |
edu.umd.cs.findbugs.detect |
Modifier and Type | Method | Description |
---|---|---|
java.util.Collection<ValueNumber> |
LockSet.getLockedValueNumbers(ValueNumberFrame frame) |
Modifier and Type | Method | Description |
---|---|---|
MatchResult |
IfNull.match(org.apache.bcel.generic.InstructionHandle handle,
org.apache.bcel.generic.ConstantPoolGen cpg,
ValueNumberFrame before,
ValueNumberFrame after,
BindingSet bindingSet) |
|
MatchResult |
Invoke.match(org.apache.bcel.generic.InstructionHandle handle,
org.apache.bcel.generic.ConstantPoolGen cpg,
ValueNumberFrame before,
ValueNumberFrame after,
BindingSet bindingSet) |
|
MatchResult |
Load.match(org.apache.bcel.generic.InstructionHandle handle,
org.apache.bcel.generic.ConstantPoolGen cpg,
ValueNumberFrame before,
ValueNumberFrame after,
BindingSet bindingSet) |
|
MatchResult |
MatchAny.match(org.apache.bcel.generic.InstructionHandle handle,
org.apache.bcel.generic.ConstantPoolGen cpg,
ValueNumberFrame before,
ValueNumberFrame after,
BindingSet bindingSet) |
|
MatchResult |
Monitorenter.match(org.apache.bcel.generic.InstructionHandle handle,
org.apache.bcel.generic.ConstantPoolGen cpg,
ValueNumberFrame before,
ValueNumberFrame after,
BindingSet bindingSet) |
|
MatchResult |
New.match(org.apache.bcel.generic.InstructionHandle handle,
org.apache.bcel.generic.ConstantPoolGen cpg,
ValueNumberFrame before,
ValueNumberFrame after,
BindingSet bindingSet) |
|
MatchResult |
Opcode.match(org.apache.bcel.generic.InstructionHandle handle,
org.apache.bcel.generic.ConstantPoolGen cpg,
ValueNumberFrame before,
ValueNumberFrame after,
BindingSet bindingSet) |
|
abstract MatchResult |
PatternElement.match(org.apache.bcel.generic.InstructionHandle handle,
org.apache.bcel.generic.ConstantPoolGen cpg,
ValueNumberFrame before,
ValueNumberFrame after,
BindingSet bindingSet) |
Return whether or not this element matches the given instruction with the
given Bindings in effect.
|
MatchResult |
Store.match(org.apache.bcel.generic.InstructionHandle handle,
org.apache.bcel.generic.ConstantPoolGen cpg,
ValueNumberFrame before,
ValueNumberFrame after,
BindingSet bindingSet) |
|
MatchResult |
Wild.match(org.apache.bcel.generic.InstructionHandle handle,
org.apache.bcel.generic.ConstantPoolGen cpg,
ValueNumberFrame before,
ValueNumberFrame after,
BindingSet bindingSet) |
|
protected static Variable |
FieldAccess.snarfFieldValue(org.apache.bcel.generic.FieldInstruction fieldIns,
org.apache.bcel.generic.ConstantPoolGen cpg,
ValueNumberFrame frame) |
Get a Variable representing the stack value which will either be stored
into or loaded from a field.
|
Modifier and Type | Method | Description |
---|---|---|
static java.util.Set<ValueNumber> |
UnconditionalValueDerefAnalysis.checkAllNonNullParams(Location location,
ValueNumberFrame vnaFrame,
org.apache.bcel.generic.ConstantPoolGen constantPool,
org.apache.bcel.classfile.Method method,
IsNullValueDataflow invDataflow,
TypeDataflow typeDataflow) |
|
static java.util.Set<ValueNumber> |
UnconditionalValueDerefAnalysis.checkNonNullParams(Location location,
ValueNumberFrame vnaFrame,
org.apache.bcel.generic.ConstantPoolGen constantPool,
org.apache.bcel.classfile.Method method,
IsNullValueFrame invFrame) |
|
static java.util.Set<ValueNumber> |
UnconditionalValueDerefAnalysis.checkUnconditionalDerefDatabase(Location location,
ValueNumberFrame vnaFrame,
org.apache.bcel.generic.ConstantPoolGen constantPool,
IsNullValueFrame invFrame,
TypeDataflow typeDataflow) |
|
void |
UnconditionalValueDerefSet.cleanDerefSet(Location location,
ValueNumberFrame vnaFrame) |
Modifier and Type | Method | Description |
---|---|---|
void |
IsNullValueFrame.cleanStaleKnowledge(ValueNumberFrame vnaFrameAfter) |
|
static BugAnnotation |
NullDerefAndRedundantComparisonFinder.findAnnotationFromValueNumber(org.apache.bcel.classfile.Method method,
Location location,
ValueNumber valueNumber,
ValueNumberFrame vnaFrame) |
|
static FieldAnnotation |
NullDerefAndRedundantComparisonFinder.findFieldAnnotationFromValueNumber(org.apache.bcel.classfile.Method method,
Location location,
ValueNumber valueNumber,
ValueNumberFrame vnaFrame) |
|
static LocalVariableAnnotation |
NullDerefAndRedundantComparisonFinder.findLocalAnnotationFromValueNumber(org.apache.bcel.classfile.Method method,
Location location,
ValueNumber valueNumber,
ValueNumberFrame vnaFrame) |
|
static XField |
NullDerefAndRedundantComparisonFinder.findXFieldFromValueNumber(org.apache.bcel.classfile.Method method,
Location location,
ValueNumber valueNumber,
ValueNumberFrame vnaFrame) |
Deprecated.
|
void |
NullDerefAndRedundantComparisonCollector.foundNullDeref(Location location,
ValueNumber valueNumber,
IsNullValue refValue,
ValueNumberFrame vnaFrame) |
|
void |
NullDerefAndRedundantComparisonCollector.foundNullDeref(Location location,
ValueNumber valueNumber,
IsNullValue refValue,
ValueNumberFrame vnaFrame,
boolean isConsistent) |
Subclasses should override this method to capture locations where a null
pointer is dereferenced.
|
Modifier and Type | Method | Description |
---|---|---|
ValueNumberFrame |
ValueNumberAnalysis.createFact() |
|
ValueNumberFrame |
ValueNumberAnalysis.getFactAfterLocation(Location location) |
|
ValueNumberFrame |
ValueNumberAnalysis.getFactAtLocation(Location location) |
Modifier and Type | Method | Description |
---|---|---|
java.util.Iterator<ValueNumberFrame> |
ValueNumberAnalysis.factIterator() |
Get an Iterator over all dataflow facts that we've recorded for the
Locations in the CFG.
|
Modifier and Type | Method | Description |
---|---|---|
static BugAnnotation |
ValueNumberSourceInfo.findAnnotationFromValueNumber(org.apache.bcel.classfile.Method method,
Location location,
ValueNumber valueNumber,
ValueNumberFrame vnaFrame,
java.lang.String partialRole) |
|
static FieldAnnotation |
ValueNumberSourceInfo.findFieldAnnotationFromValueNumber(org.apache.bcel.classfile.Method method,
Location location,
ValueNumber valueNumber,
ValueNumberFrame vnaFrame) |
|
static LocalVariableAnnotation |
ValueNumberSourceInfo.findLocalAnnotationFromValueNumber(org.apache.bcel.classfile.Method method,
Location location,
ValueNumber valueNumber,
ValueNumberFrame vnaFrame) |
|
static BugAnnotation |
ValueNumberSourceInfo.findRequiredAnnotationFromValueNumber(org.apache.bcel.classfile.Method method,
Location location,
ValueNumber valueNumber,
ValueNumberFrame vnaFrame,
java.lang.String partialRole) |
|
static XField |
ValueNumberSourceInfo.findXFieldFromValueNumber(org.apache.bcel.classfile.Method method,
Location location,
ValueNumber valueNumber,
ValueNumberFrame vnaFrame) |
|
void |
ValueNumberAnalysis.initEntryFact(ValueNumberFrame result) |
|
void |
ValueNumberAnalysis.meetInto(ValueNumberFrame fact,
Edge edge,
ValueNumberFrame result) |
|
protected void |
ValueNumberAnalysis.mergeInto(ValueNumberFrame frame,
ValueNumberFrame result) |
|
protected void |
ValueNumberAnalysis.mergeValues(ValueNumberFrame otherFrame,
ValueNumberFrame resultFrame,
int slot) |
|
void |
ValueNumberAnalysis.transfer(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle end,
ValueNumberFrame start,
ValueNumberFrame result) |
|
void |
ValueNumberAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
ValueNumberFrame fact) |
Modifier and Type | Method | Description |
---|---|---|
void |
ValueNumberAnalysis.compactValueNumbers(Dataflow<ValueNumberFrame,ValueNumberAnalysis> dataflow) |
Deprecated.
|
Modifier and Type | Method | Description |
---|---|---|
void |
FindNullDeref.foundNullDeref(Location location,
ValueNumber valueNumber,
IsNullValue refValue,
ValueNumberFrame vnaFrame) |
Deprecated.
|
void |
FindNullDeref.foundNullDeref(Location location,
ValueNumber valueNumber,
IsNullValue refValue,
ValueNumberFrame vnaFrame,
boolean isConsistent) |
|
void |
NoiseNullDeref.foundNullDeref(Location location,
ValueNumber valueNumber,
IsNullValue refValue,
ValueNumberFrame vnaFrame) |
Deprecated.
|
void |
NoiseNullDeref.foundNullDeref(Location location,
ValueNumber valueNumber,
IsNullValue refValue,
ValueNumberFrame vnaFrame,
boolean isConsistent) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.