Package | Description |
---|---|
edu.umd.cs.findbugs.ba.npe | |
edu.umd.cs.findbugs.detect |
Modifier and Type | Field | Description |
---|---|---|
IsNullValue |
RedundantBranch.firstValue |
|
IsNullValue |
RedundantBranch.secondValue |
Modifier and Type | Method | Description |
---|---|---|
static IsNullValue |
IsNullValue.checkedNonNullValue() |
Get the instance representing a value known to be non-null because it was
compared against null value, or because we saw the object creation.
|
static IsNullValue |
IsNullValue.checkedNullValue() |
Get the instance representing a value known to be null because it was
compared against null value, or because we saw that it was assigned the
null constant.
|
IsNullValue |
IsNullValue.downgradeOnControlSplit() |
Control split: move given value down in the lattice if it is a
conditionally-null value.
|
IsNullValue |
IsNullConditionDecision.getDecision(int edgeType) |
Get the decision reached about the value on outgoing edge of given type.
|
IsNullValue |
IsNullValueFrameModelingVisitor.getDefaultValue() |
|
IsNullValue |
IsNullValueFrame.getKnownValue(ValueNumber valueNumber) |
|
IsNullValue |
IsNullValueFrameModelingVisitor.getReturnValueNullness(XMethod calledMethod) |
|
IsNullValue |
IsNullValue.markInformationAsComingFromFieldValue(XField field) |
Convert to a value known because it was returned from a method in a
method property database.
|
IsNullValue |
IsNullValue.markInformationAsComingFromReturnValueOfMethod(XMethod methodInvoked) |
Convert to a value known because it was returned from a method in a
method property database.
|
static IsNullValue |
IsNullValue.merge(IsNullValue a,
IsNullValue b) |
Merge two values.
|
static IsNullValue |
IsNullValue.noKaboomNonNullValue(Location ins) |
Get the instance representing a value known to be non-null because a NPE
would have occurred if it were null.
|
static IsNullValue |
IsNullValue.nonNullValue() |
Get the instance representing values that are definitely not null.
|
static IsNullValue |
IsNullValue.nonReportingNotNullValue() |
Get non-reporting non-null value.
|
static IsNullValue |
IsNullValue.nullOnComplexPathValue() |
Get null on complex path value.
|
static IsNullValue |
IsNullValue.nullOnComplexPathValue3() |
Like "null on complex path" except that there are at least three
branches between the explicit null value and the current location.
|
static IsNullValue |
IsNullValue.nullOnSimplePathValue() |
Get the instance representing values that are definitely null on some
simple (no branches) incoming path.
|
static IsNullValue |
IsNullValue.nullValue() |
Get the instance representing values that are definitely null.
|
static IsNullValue |
IsNullValue.parameterMarkedAsMightBeNull(XMethodParameter mp) |
Get instance representing a parameter marked as MightBeNull
|
static IsNullValue |
IsNullValue.parameterMarkedAsNonnull(XMethodParameter mp) |
Get instance representing a parameter marked as Nonnull
|
static IsNullValue |
IsNullValue.pathSensitiveNonNullValue() |
Get non-null value resulting from comparison to explicit null.
|
static IsNullValue |
IsNullValue.pathSensitiveNullValue() |
Get null value resulting from comparison to explicit null.
|
IsNullValue |
IsNullValue.toExceptionValue() |
Convert to an exception path value.
|
Modifier and Type | Method | Description |
---|---|---|
java.util.Collection<java.util.Map.Entry<ValueNumber,IsNullValue>> |
IsNullValueFrame.getKnownValueMapEntrySet() |
Modifier and Type | Method | Description |
---|---|---|
void |
NullValueUnconditionalDeref.add(IsNullValue isNullValue,
java.util.Set<Location> unconditionalDerefLocationSet) |
|
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.
|
static IsNullValue |
IsNullValue.merge(IsNullValue a,
IsNullValue b) |
Merge two values.
|
void |
IsNullValueFrame.setKnownValue(ValueNumber valueNumber,
IsNullValue knownValue) |
Modifier and Type | Method | Description |
---|---|---|
void |
IsNullValueFrame.copyFrom(Frame<IsNullValue> other) |
|
boolean |
IsNullValueFrame.sameAs(Frame<IsNullValue> other) |
Constructor | Description |
---|---|
IsNullConditionDecision(ValueNumber value,
IsNullValue ifcmpDecision,
IsNullValue fallThroughDecision) |
Constructor.
|
RedundantBranch(Location location,
int lineNumber,
IsNullValue firstValue) |
Constructor.
|
RedundantBranch(Location location,
int lineNumber,
IsNullValue firstValue,
IsNullValue secondValue) |
Constructor.
|
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.