Uses of Class
edu.umd.cs.findbugs.ba.npe.IsNullValue
-
Packages that use IsNullValue Package Description edu.umd.cs.findbugs.ba.deref edu.umd.cs.findbugs.ba.npe edu.umd.cs.findbugs.detect -
-
Uses of IsNullValue in edu.umd.cs.findbugs.ba.deref
Methods in edu.umd.cs.findbugs.ba.deref with parameters of type IsNullValue Modifier and Type Method Description private static boolean
UnconditionalValueDerefAnalysis. reportDereference(IsNullValue value)
-
Uses of IsNullValue in edu.umd.cs.findbugs.ba.npe
Fields in edu.umd.cs.findbugs.ba.npe declared as IsNullValue Modifier and Type Field Description private IsNullValue
IsNullConditionDecision. fallThroughDecision
IsNullValue
RedundantBranch. firstValue
private IsNullValue
IsNullConditionDecision. ifcmpDecision
private static IsNullValue[][]
IsNullValue. instanceByFlagsList
IsNullValue
RedundantBranch. secondValue
Fields in edu.umd.cs.findbugs.ba.npe with type parameters of type IsNullValue Modifier and Type Field Description private java.util.Map<ValueNumber,IsNullValue>
IsNullValueFrame. knownValueMap
Methods in edu.umd.cs.findbugs.ba.npe that return IsNullValue 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.private static IsNullValue[][]
IsNullValue. createInstanceByFlagList()
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 MightBeNullstatic IsNullValue
IsNullValue. parameterMarkedAsNonnull(XMethodParameter mp)
Get instance representing a parameter marked as Nonnullstatic 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.Methods in edu.umd.cs.findbugs.ba.npe that return types with arguments of type IsNullValue Modifier and Type Method Description java.util.Collection<java.util.Map.Entry<ValueNumber,IsNullValue>>
IsNullValueFrame. getKnownValueMapEntrySet()
Methods in edu.umd.cs.findbugs.ba.npe with parameters of type IsNullValue 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.private IsNullConditionDecision
IsNullValueAnalysis. handleIfNull(IsNullValue tos, ValueNumber prevTopValue, boolean ifnull)
static IsNullValue
IsNullValue. merge(IsNullValue a, IsNullValue b)
Merge two values.private void
NullDerefAndRedundantComparisonFinder. noteUnconditionallyDereferencedNullValue(Location thisLocation, java.util.Map<ValueNumber,java.util.SortedSet<Location>> bugLocations, java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, UnconditionalValueDerefSet derefSet, IsNullValue isNullValue, ValueNumber valueNumber)
Note the locations where a known-null value is unconditionally dereferenced.private void
IsNullValueFrameModelingVisitor. produce(IsNullValue value)
private void
IsNullValueFrameModelingVisitor. produce2(IsNullValue value)
private IsNullValueFrame
IsNullValueAnalysis. replaceValues(IsNullValueFrame origFrame, IsNullValueFrame frame, ValueNumber replaceMe, ValueNumberFrame prevVnaFrame, ValueNumberFrame targetVnaFrame, IsNullValue replacementValue)
Update is-null information at a branch target based on information gained at a null comparison branch.void
IsNullValueFrame. setKnownValue(ValueNumber valueNumber, IsNullValue knownValue)
Method parameters in edu.umd.cs.findbugs.ba.npe with type arguments of type IsNullValue Modifier and Type Method Description void
IsNullValueFrame. copyFrom(Frame<IsNullValue> other)
boolean
IsNullValueFrame. sameAs(Frame<IsNullValue> other)
Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type IsNullValue 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. -
Uses of IsNullValue in edu.umd.cs.findbugs.detect
Methods in edu.umd.cs.findbugs.detect with parameters of type IsNullValue 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)
-