I'd like to run FindBugs with just the FindNullDeref detector. However, if
I try this, from an Ant task, I get thousands of errors:
[findbugs] java.lang.IllegalStateException: UnreadFields detector not
set
[findbugs] At
edu.umd.cs.findbugs.ba.AnalysisContext.getUnreadFields(AnalysisContext.java
:208)
[findbugs] At
edu.umd.cs.findbugs.ba.FieldSummary.isWrittenOutsideOfConstructor(FieldSumm
ary.java:76)
[findbugs] At
edu.umd.cs.findbugs.ba.vna.ValueNumberFrame.killAllLoadsOf(ValueNumberFrame
.java:186)
[findbugs] At
edu.umd.cs.findbugs.ba.vna.ValueNumberFrameModelingVisitor.visitINVOKESTATI
C(ValueNumberFrameModelingVisitor.java:384)
[findbugs] At
org.apache.bcel.generic.INVOKESTATIC.accept(INVOKESTATIC.java:72)
[findbugs] At
edu.umd.cs.findbugs.ba.AbstractFrameModelingVisitor.analyzeInstruction(Abst
ractFrameModelingVisitor.java:76)
[findbugs] At
edu.umd.cs.findbugs.ba.vna.ValueNumberAnalysis.transferInstruction(ValueNum
berAnalysis.java:172)
[findbugs] At
edu.umd.cs.findbugs.ba.vna.ValueNumberAnalysis.transferInstruction(ValueNum
berAnalysis.java:55)
[findbugs] At
edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis.transfer(AbstractDataflowAn
alysis.java:117)
[findbugs] At
edu.umd.cs.findbugs.ba.Dataflow.execute(Dataflow.java:356)
[findbugs] At
edu.umd.cs.findbugs.classfile.engine.bcel.ValueNumberDataflowFactory.analyz
e(ValueNumberDataflowFactory.java:72)
[findbugs] At
edu.umd.cs.findbugs.classfile.engine.bcel.ValueNumberDataflowFactory.analyz
e(ValueNumberDataflowFactory.java:47)
[findbugs] At
edu.umd.cs.findbugs.classfile.impl.AnalysisCache.analyzeMethod(AnalysisCach
e.java:331)
[findbugs] At
edu.umd.cs.findbugs.classfile.impl.AnalysisCache.getMethodAnalysis(Analysis
Cache.java:281)
[findbugs] At
edu.umd.cs.findbugs.classfile.engine.bcel.AnalysisFactory.getValueNumberDat
aflow(AnalysisFactory.java:108)
[findbugs] At
edu.umd.cs.findbugs.classfile.engine.bcel.TypeDataflowFactory.analyze(TypeD
ataflowFactory.java:73)
[findbugs] At
edu.umd.cs.findbugs.classfile.engine.bcel.TypeDataflowFactory.analyze(TypeD
ataflowFactory.java:44)
[findbugs] At
edu.umd.cs.findbugs.classfile.impl.AnalysisCache.analyzeMethod(AnalysisCach
e.java:331)
[findbugs] At
edu.umd.cs.findbugs.classfile.impl.AnalysisCache.getMethodAnalysis(Analysis
Cache.java:281)
[findbugs] At
edu.umd.cs.findbugs.classfile.engine.bcel.CFGFactory.analyze(CFGFactory.jav
a:173)
[findbugs] At
edu.umd.cs.findbugs.classfile.engine.bcel.CFGFactory.analyze(CFGFactory.jav
a:64)
[findbugs] At
edu.umd.cs.findbugs.classfile.impl.AnalysisCache.analyzeMethod(AnalysisCach
e.java:331)
[findbugs] At
edu.umd.cs.findbugs.classfile.impl.AnalysisCache.getMethodAnalysis(Analysis
Cache.java:281)
[findbugs] At
edu.umd.cs.findbugs.ba.ClassContext.getMethodAnalysis(ClassContext.java:937
)
[findbugs] At
edu.umd.cs.findbugs.ba.ClassContext.getMethodAnalysisNoDataflowAnalysisExce
ption(ClassContext.java:921)
[findbugs] At
edu.umd.cs.findbugs.ba.ClassContext.getCFG(ClassContext.java:326)
[findbugs] At
edu.umd.cs.findbugs.detect.BuildNonnullReturnDatabase.analyzeMethod(BuildNo
nnullReturnDatabase.java:75)
[findbugs] At
edu.umd.cs.findbugs.detect.BuildNonnullReturnDatabase.considerMethod(BuildN
onnullReturnDatabase.java:66)
[findbugs] At
edu.umd.cs.findbugs.detect.BuildNonnullReturnDatabase.visitClassContext(Bui
ldNonnullReturnDatabase.java:59)
[findbugs] At
edu.umd.cs.findbugs.DetectorToDetector2Adapter.visitClass(DetectorToDetecto
r2Adapter.java:68)
[findbugs] At
edu.umd.cs.findbugs.FindBugs2.analyzeApplication(FindBugs2.java:984)
[findbugs] At
edu.umd.cs.findbugs.FindBugs2.execute(FindBugs2.java:233)
There seems to be a requirement for the UnreadFields detector to be run.
This isn't very helpful, since this detector produces a number of "dodgy"
warnings which we don't want to fix.
System info:
Windows xp
Sun Java 1.6.0_06
Ant 1.7.0
FindBugs 1.3.7
William Pugh
Core
None
Public
|
Date: 2009-07-13 05:13 Please try to reproduce this with the latest released version (1.3.8). |
| Field | Old Value | Date | By |
|---|---|---|---|
| status_id | Open | 2009-07-15 20:15 | wpugh |
| resolution_id | None | 2009-07-15 20:15 | wpugh |
| assigned_to | nobody | 2009-07-15 20:15 | wpugh |
| close_date | - | 2009-07-15 20:15 | wpugh |