Package edu.umd.cs.findbugs.ba.npe

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 comparisions.

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()
static BugAnnotation	findAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)	Deprecated. Use ValueNumberSourceInfo.findRequiredAnnotationFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame, String) instead
static FieldAnnotation	findFieldAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)	Deprecated. Use ValueNumberSourceInfo.findFieldAnnotationFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame) instead
static LocalVariableAnnotation	findLocalAnnotationFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)	Deprecated. Use ValueNumberSourceInfo.findLocalAnnotationFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame) instead
Map<ValueNumber,Set<Location>>	findNullAssignments(Set<LocationWhereValueBecomesNull> locationWhereValueBecomesNullSet)
static XField	findXFieldFromValueNumber(org.apache.bcel.classfile.Method method, Location location, ValueNumber valueNumber, ValueNumberFrame vnaFrame)	Deprecated. Use ValueNumberSourceInfo.findXFieldFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame) instead
void	reportBugs(Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, HashSet<ValueNumber> npeIfStatementCovered, Map<ValueNumber,SortedSet<Location>> bugLocationMap, Map<ValueNumber,Set<Location>> nullValueAssignmentMap)

Methods inherited from class java.lang.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

findXFieldFromValueNumber

@Deprecated
public static XField findXFieldFromValueNumber(org.apache.bcel.classfile.Method method,
 Location location,
 ValueNumber valueNumber,
 ValueNumberFrame vnaFrame)

Deprecated.

Use ValueNumberSourceInfo.findXFieldFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame) instead

findFieldAnnotationFromValueNumber

@Deprecated
public static FieldAnnotation findFieldAnnotationFromValueNumber(org.apache.bcel.classfile.Method method,
 Location location,
 ValueNumber valueNumber,
 ValueNumberFrame vnaFrame)

Deprecated.

Use ValueNumberSourceInfo.findFieldAnnotationFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame) instead

findLocalAnnotationFromValueNumber

@Deprecated
public static LocalVariableAnnotation findLocalAnnotationFromValueNumber(org.apache.bcel.classfile.Method method,
 Location location,
 ValueNumber valueNumber,
 ValueNumberFrame vnaFrame)

Deprecated.

Use ValueNumberSourceInfo.findLocalAnnotationFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame) instead

findAnnotationFromValueNumber

@Deprecated
public static BugAnnotation findAnnotationFromValueNumber(org.apache.bcel.classfile.Method method,
 Location location,
 ValueNumber valueNumber,
 ValueNumberFrame vnaFrame)

Deprecated.

Use ValueNumberSourceInfo.findRequiredAnnotationFromValueNumber(Method,Location,ValueNumber,ValueNumberFrame, String) instead