| Package | Description |
|---|---|
| edu.umd.cs.findbugs.ba.npe | |
| edu.umd.cs.findbugs.detect |
| Modifier and Type | Method and Description |
|---|---|
void |
NullDerefAndRedundantComparisonCollector.foundGuaranteedNullDeref(Set<Location> assignedNullLocationSet,
Set<Location> derefLocationSet,
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).
|
| Modifier and Type | Method and Description |
|---|---|
void |
NullDerefAndRedundantComparisonFinder.checkEdges(CFG cfg,
Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap,
Map<ValueNumber,SortedSet<Location>> bugEdgeLocationMap) |
void |
NullDerefAndRedundantComparisonFinder.reportBugs(Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap,
HashSet<ValueNumber> npeIfStatementCovered,
Map<ValueNumber,SortedSet<Location>> bugLocationMap,
Map<ValueNumber,Set<Location>> nullValueAssignmentMap) |
| Modifier and Type | Method and Description |
|---|---|
void |
NoiseNullDeref.foundGuaranteedNullDeref(Set<Location> assignedNullLocationSet,
Set<Location> derefLocationSet,
SortedSet<Location> doomedLocations,
ValueNumberDataflow vna,
ValueNumber refValue,
BugAnnotation variableAnnotation,
NullValueUnconditionalDeref deref,
boolean npeIfStatementCovered) |
void |
FindNullDeref.foundGuaranteedNullDeref(Set<Location> assignedNullLocationSet,
Set<Location> derefLocationSet,
SortedSet<Location> doomedLocations,
ValueNumberDataflow vna,
ValueNumber refValue,
BugAnnotation variableAnnotation,
NullValueUnconditionalDeref deref,
boolean npeIfStatementCovered) |
Copyright © 2003–2015. All rights reserved.