edu.umd.cs.findbugs.ba.npe

Class NullDerefAndRedundantComparisonFinder

java.lang.Object

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

public class NullDerefAndRedundantComparisonFinder
extends java.lang.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 and Description
NullDerefAndRedundantComparisonFinder(ClassContext classContext, org.apache.bcel.classfile.Method method, NullDerefAndRedundantComparisonCollector collector) Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
void	checkEdges(CFG cfg, java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, java.util.Map<ValueNumber,java.util.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
java.util.Map<ValueNumber,java.util.Set<Location>>	findNullAssignments(java.util.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(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)

Methods inherited from class java.lang.Object

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

Constructor Detail

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 Detail

execute

public void execute()

findNullAssignments

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

reportBugs

public void 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)
                throws CFGBuilderException,
                       DataflowAnalysisException

Throws:

CFGBuilderException

DataflowAnalysisException

checkEdges

public void checkEdges(CFG cfg,
              java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap,
              java.util.Map<ValueNumber,java.util.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