Class NullDerefAndRedundantComparisonFinder

java.lang.Object

edu.umd.cs.findbugs.ba.npe.NullDerefAndRedundantComparisonFinder

public class NullDerefAndRedundantComparisonFinder
extends Object

A user-friendly front end for finding null pointer dereferences and redundant null comparisons.

Author:

David Hovemeyer

See Also:

• IsNullValueAnalysis

Constructor Summary

Constructors

Constructor	Description
NullDerefAndRedundantComparisonFinder(ClassContext classContext, org.apache.bcel.classfile.Method method, NullDerefAndRedundantComparisonCollector collector)	Constructor.

Method Summary

Modifier and Type	Method	Description
void	checkEdges(CFG cfg, Map<ValueNumber, NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, Map<ValueNumber, SortedSet<Location>> bugEdgeLocationMap)
void	execute()
Map<ValueNumber, Set<Location>>	findNullAssignments(Set<LocationWhereValueBecomesNull> locationWhereValueBecomesNullSet)
void	reportBugs(Map<ValueNumber, NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, HashSet<ValueNumber> npeIfStatementCovered, Map<ValueNumber, SortedSet<Location>> bugLocationMap, Map<ValueNumber, Set<Location>> nullValueAssignmentMap)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

NullDerefAndRedundantComparisonFinder

public NullDerefAndRedundantComparisonFinder(ClassContext classContext,
 org.apache.bcel.classfile.Method method,
 NullDerefAndRedundantComparisonCollector collector)

Constructor.

Parameters:

classContext - the ClassContext

method - the method to analyze

collector - the NullDerefAndRedundantComparisonCollector used to report null derefs and redundant null comparisons

Method Details

execute

public void execute()

findNullAssignments

public Map<ValueNumber, Set<Location>> findNullAssignments(Set<LocationWhereValueBecomesNull> locationWhereValueBecomesNullSet)

reportBugs

public void reportBugs(Map<ValueNumber, NullValueUnconditionalDeref> nullValueGuaranteedDerefMap,
 HashSet<ValueNumber> npeIfStatementCovered,
 Map<ValueNumber, SortedSet<Location>> bugLocationMap,
 Map<ValueNumber, Set<Location>> nullValueAssignmentMap)
                throws CFGBuilderException,
DataflowAnalysisException

Throws:

CFGBuilderException

DataflowAnalysisException

checkEdges

public void checkEdges(CFG cfg,
 Map<ValueNumber, NullValueUnconditionalDeref> nullValueGuaranteedDerefMap,
 Map<ValueNumber, SortedSet<Location>> bugEdgeLocationMap)
                throws DataflowAnalysisException

Throws:

DataflowAnalysisException