edu.umd.cs.findbugs.detect

Class FindNullDeref

public class FindNullDeref extends Object implements Detector, NullDerefAndRedundantComparisonCollector

A Detector to find instructions where a NullPointerException might be raised. We also look for useless reference comparisons involving null and non-null values.

Author: David Hovemeyer William Pugh

See Also: IsNullValueAnalysis

Field Summary
static boolean	DEBUG

Constructor Summary
	FindNullDeref(BugReporter bugReporter)

Method Summary
void	foundGuaranteedNullDeref(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
void	foundNullDeref(ClassContext classContext, Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame)
void	foundRedundantNullCheck(Location location, RedundantBranch redundantBranch)
static boolean	isThrower(BasicBlock target)
void	report()
boolean	skipIfInsideCatchNull()
void	visitClassContext(ClassContext classContext)

Constructor Detail

FindNullDeref

public FindNullDeref(BugReporter bugReporter)

public void foundGuaranteedNullDeref(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)