Interesting to look at - though no doubt it'll take a while to work through them all. I just started having a glance at the results for GCC (where it lists the "null passed as a nonnull argument" first) & the first one doesn't entirely make sense to me, the second one is passing null to strncmp but with a length of 0. So perhaps the annotation is incorrect and it should be nonnull only when the length is non-zero. I don't know what annotations are used to markup these properties & whether they are sufficiently expressive to handle such a feature.<br>
<br><div class="gmail_quote">On Thu, May 12, 2011 at 9:24 AM, John Smith <span dir="ltr"><<a href="mailto:lbalbalba@gmail.com">lbalbalba@gmail.com</a>></span> wrote:<br><blockquote style="margin: 0px 0px 0px 0.8ex; padding-left: 1ex; border-left-color: rgb(204, 204, 204); border-left-width: 1px; border-left-style: solid;" class="gmail_quote">
Hi.<br>
<br>
<br>
In case anyone is interested, I ran the clang analyzer on several open<br>
source projects. (gcc, gdb, glib, ntp, openldap, openssl, postfix).<br>
<br>
However, there are many issues found on most of those projects, which<br>
are reasonably well known and widely used pieces of software. Which<br>
makes me wonder if there arent just a lot of false positives here ?<br>
<br>
<br>
The resulting reports can be found here :<br>
<br>
<a href="http://lbalbalba.freezoka.net/ccc-analyzer/" target="_blank">http://lbalbalba.freezoka.net/ccc-analyzer/</a><br>
<br>
<br>
<br>
Regards,<br>
<font color="#888888"><br>
<br>
<br>
John Smith<br>
_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>
</font></blockquote></div><br><br clear="all"><br>-- <br>-----BEGIN GEEK CODE BLOCK-----<br>Version: 3.1<br>GCS d+@ s++: a-- C++++ ULS++ P L++ !E W++ N+ o? K? w(+) O? M@ V? PS+ PE@<br>Y+ PGP- t(+) 5 X+ R tv+ b+ DI++ D++ G+ e++ h- r y?<br>
------END GEEK CODE BLOCK------<br>