Package | Description |
---|---|
edu.umd.cs.findbugs.ba.deref | |
edu.umd.cs.findbugs.ba.npe |
Modifier and Type | Method and Description |
---|---|
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) |
static boolean |
UnconditionalValueDerefAnalysis.reportPotentialDereference(Location location,
IsNullValueFrame invFrame) |
Modifier and Type | Method and Description |
---|---|
IsNullValueFrame |
IsNullValueAnalysis.createFact() |
IsNullValueFrame |
IsNullValueDataflow.getFactAtMidEdge(Edge edge) |
IsNullValueFrame |
IsNullValueAnalysis.getFactAtMidEdge(Edge edge) |
Modifier and Type | Method and Description |
---|---|
void |
IsNullValueAnalysis.endTransfer(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle end,
IsNullValueFrame result) |
void |
IsNullValueAnalysis.initEntryFact(IsNullValueFrame result) |
void |
IsNullValueAnalysis.meetInto(IsNullValueFrame fact,
Edge edge,
IsNullValueFrame result) |
void |
IsNullValueAnalysis.meetInto(IsNullValueFrame fact,
Edge edge,
IsNullValueFrame result,
boolean propagatePhiNodeInformation) |
protected void |
IsNullValueAnalysis.mergeInto(IsNullValueFrame other,
IsNullValueFrame result) |
void |
IsNullValueFrame.mergeKnownValuesWith(IsNullValueFrame otherFrame) |
protected void |
IsNullValueAnalysis.mergeValues(IsNullValueFrame otherFrame,
IsNullValueFrame resultFrame,
int slot) |
void |
IsNullValueAnalysis.transfer(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle end,
IsNullValueFrame start,
IsNullValueFrame result) |
void |
IsNullValueAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
IsNullValueFrame fact) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.