Package 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	Description
NullDerefAndRedundantComparisonFinder(ClassContext classContext, org.apache.bcel.classfile.Method method, NullDerefAndRedundantComparisonCollector collector)	Constructor.

Method Summary

Modifier and Type	Method	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