Uses of Class
edu.umd.cs.findbugs.ba.npe.NullValueUnconditionalDeref
-
Packages that use NullValueUnconditionalDeref Package Description edu.umd.cs.findbugs.ba.npe edu.umd.cs.findbugs.detect -
-
Uses of NullValueUnconditionalDeref in edu.umd.cs.findbugs.ba.npe
Methods in edu.umd.cs.findbugs.ba.npe with parameters of type NullValueUnconditionalDeref Modifier and Type Method Description void
NullDerefAndRedundantComparisonCollector. foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
Subclasses should override this method to capture values assigned null (or that become null through a comparison and branch) that are guaranteed to reach a dereference (ignoring implicit exception paths).Method parameters in edu.umd.cs.findbugs.ba.npe with type arguments of type NullValueUnconditionalDeref Modifier and Type Method Description void
NullDerefAndRedundantComparisonFinder. checkEdges(CFG cfg, java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, java.util.Map<ValueNumber,java.util.SortedSet<Location>> bugEdgeLocationMap)
void
NullDerefAndRedundantComparisonFinder. reportBugs(java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, java.util.HashSet<ValueNumber> npeIfStatementCovered, java.util.Map<ValueNumber,java.util.SortedSet<Location>> bugLocationMap, java.util.Map<ValueNumber,java.util.Set<Location>> nullValueAssignmentMap)
-
Uses of NullValueUnconditionalDeref in edu.umd.cs.findbugs.detect
Methods in edu.umd.cs.findbugs.detect with parameters of type NullValueUnconditionalDeref Modifier and Type Method Description void
FindNullDeref. foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
void
NoiseNullDeref. foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
-