Package | Description |
---|---|
edu.umd.cs.findbugs.ba.npe2 |
This package is a rewrite of the null-pointer analysis to use
sets of value numbers rather than frames.
|
Modifier and Type | Method and Description |
---|---|
DefinitelyNullSet |
DefinitelyNullSetAnalysis.createFact() |
Modifier and Type | Method and Description |
---|---|
void |
DefinitelyNullSetAnalysis.copy(DefinitelyNullSet source,
DefinitelyNullSet dest) |
void |
DefinitelyNullSetAnalysis.edgeTransfer(Edge edge,
DefinitelyNullSet fact) |
void |
DefinitelyNullSetAnalysis.initEntryFact(DefinitelyNullSet result) |
boolean |
DefinitelyNullSetAnalysis.isFactValid(DefinitelyNullSet fact) |
boolean |
DefinitelyNullSetAnalysis.isTop(DefinitelyNullSet fact) |
void |
DefinitelyNullSetAnalysis.makeFactTop(DefinitelyNullSet fact) |
void |
DefinitelyNullSet.makeSameAs(DefinitelyNullSet other) |
void |
DefinitelyNullSetAnalysis.meetInto(DefinitelyNullSet fact,
Edge edge,
DefinitelyNullSet result) |
void |
DefinitelyNullSet.mergeWith(DefinitelyNullSet other) |
void |
IfNullCondition.refresh(ValueNumberFrame vnaFrame,
DefinitelyNullSet definitelyNullSet) |
abstract void |
Condition.refresh(ValueNumberFrame vnaFrame,
DefinitelyNullSet definitelyNullSet) |
void |
AcmpCondition.refresh(ValueNumberFrame vnaFrame,
DefinitelyNullSet definitelyNullSet)
Deprecated.
|
boolean |
DefinitelyNullSetAnalysis.same(DefinitelyNullSet fact1,
DefinitelyNullSet fact2) |
void |
DefinitelyNullSetAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
DefinitelyNullSet fact) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.