Package edu.umd.cs.findbugs.detect

Class TrainUnconditionalDerefParams

java.lang.Object

edu.umd.cs.findbugs.detect.BuildUnconditionalParamDerefDatabase

edu.umd.cs.findbugs.detect.TrainUnconditionalDerefParams

All Implemented Interfaces:

Detector, Priorities, TrainingDetector

public class TrainUnconditionalDerefParams
extends BuildUnconditionalParamDerefDatabase
implements TrainingDetector

Training pass to find method parameters which are unconditionally dereferenced. We do this by performing a backwards dataflow analysis which sees which params are dereferenced on all non-implicit-exception paths from the CFG entry.

Author:

David Hovemeyer

Field Summary

Fields inherited from class edu.umd.cs.findbugs.detect.BuildUnconditionalParamDerefDatabase

nonnullTypeQualifierValue, VERBOSE_DEBUG

Fields inherited from interface edu.umd.cs.findbugs.Priorities

EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY

Constructor Summary

Constructors

Constructor	Description
TrainUnconditionalDerefParams(BugReporter bugReporter)

Method Summary

Modifier and Type	Method	Description
void	report()	This method is called after all classes to be visited.
protected void	reportBug(BugInstance bug)

Methods inherited from class edu.umd.cs.findbugs.detect.BuildUnconditionalParamDerefDatabase

isCaught, visitClassContext

Methods inherited from class java.lang.Object

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

Constructor Detail

TrainUnconditionalDerefParams

public TrainUnconditionalDerefParams(BugReporter bugReporter)

Method Detail

report

public void report()

Description copied from interface: Detector

This method is called after all classes to be visited. It should be used by any detectors which accumulate information over all visited classes to generate results.

Specified by:

report in interface Detector

reportBug

protected void reportBug(BugInstance bug)

Specified by:

reportBug in class BuildUnconditionalParamDerefDatabase