FYI: clang static analyzer page has moved to
tijl at coosemans.org
Tue Jan 18 20:58:19 UTC 2011
On Wednesday 05 January 2011 14:14:39 Ulrich Spörlein wrote:
> Now that I'm fairly confident that the stability issues with your.org's
> VMs have been resolved, I'd like to point you to the new and improved,
> semi-weekly analyzer runs at
I came across an interesting false positive here:
| assert((strcmp(type, "keyfile") == 0 && ctxp != NULL &&
| passbuf == NULL && passbufsize == 0) ||
| (strcmp(type, "passfile") == 0 && ctxp == NULL &&
| passbuf != NULL && passbufsize > 0));
| assert(strcmp(type, "keyfile") == 0 || passbuf == '\0');
| Within the expansion of the macro 'assert':
| Array access (from variable 'passbuf') results in a null pointer
I think the problem here is that the analyser allows strcmp(type,
"keyfile") to return zero in the first assertion and nonzero in the
second. This cannot happen of course and the analyser should know that
because strcmp has been declared __pure__ in string.h.
A workaround in this case would be to merge the two assertions.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 228 bytes
Desc: This is a digitally signed message part.
Url : http://lists.freebsd.org/pipermail/freebsd-current/attachments/20110118/f82b4c01/attachment.pgp
More information about the freebsd-current