<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Aug 21, 2008, at 11:31 AM, Sascha Wildner wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 13px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0; ">* Interestingly, the "null dereference" count went down from 308 in<span class="Apple-converted-space"> </span><br><a href="http://yoyodyne.ath.cx/ccc-analyze/buildkernel/2008-08-10-1/">http://yoyodyne.ath.cx/ccc-analyze/buildkernel/2008-08-10-1/</a><span class="Apple-converted-space"> </span>to 119 in<span class="Apple-converted-space"> </span><br><a href="http://yoyodyne.ath.cx/ccc-analyze/buildkernel/2008-08-21-2/">http://yoyodyne.ath.cx/ccc-analyze/buildkernel/2008-08-21-2/</a><span class="Apple-converted-space"> </span>(we fixed a<span class="Apple-converted-space"> </span><br>couple but not that many). Some of them were valid bugs, according to<span class="Apple-converted-space"> </span><br>one guy from our team.</span></blockquote></div><br><div>Hi Sascha,</div><div><br></div><div>Another useful thing is if people want to provide us preprocessed sources that the analyzer *correctly* identified bugs in. This would allow us to incrementally add valid bug reports to our test suite.</div><div><br></div><div>This is something that we can actually add to scan-build. For every source file that the analyzer flags an error, we can also automatically generate preprocessed .i/.mi files. Users can then submit these to us if they wish for either the case that the bug is a false positive or that it's valid. Building up a test suite of validated bugs would be invaluable.</div><div><br></div><div>Ted</div></body></html>