|
FindBugs™ 1.3.9 | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectedu.umd.cs.findbugs.detect.BuildUnconditionalParamDerefDatabase
edu.umd.cs.findbugs.detect.TrainUnconditionalDerefParams
public class TrainUnconditionalDerefParams
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.
| Field Summary |
|---|
| Fields inherited from class edu.umd.cs.findbugs.detect.BuildUnconditionalParamDerefDatabase |
|---|
nonnullReferenceParameters, nonnullTypeQualifierValue, referenceParameters |
| Fields inherited from interface edu.umd.cs.findbugs.Priorities |
|---|
EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY |
| Constructor Summary | |
|---|---|
TrainUnconditionalDerefParams(BugReporter bugReporter)
|
|
| Method Summary | |
|---|---|
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 |
|---|
visitClassContext |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Methods inherited from interface edu.umd.cs.findbugs.Detector |
|---|
visitClassContext |
| Constructor Detail |
|---|
public TrainUnconditionalDerefParams(BugReporter bugReporter)
| Method Detail |
|---|
public void report()
Detector
report in interface Detectorprotected void reportBug(BugInstance bug)
reportBug in class BuildUnconditionalParamDerefDatabase
|
FindBugs™ 1.3.9 | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||