FYI: clang static analyzer page has moved to

Erik Cederstrand erik at
Wed Jan 5 14:14:25 UTC 2011

Den 05/01/2011 kl. 14.14 skrev Ulrich Spörlein:

> Hello folks,
> Now that I'm fairly confident that the stability issues with's
> VMs have been resolved, I'd like to point you to the new and improved,
> semi-weekly analyzer runs at

I had a look at this again. There are over 9.000 reports so it's a bit overwhelming, but I suspect there's a lot of "collateral damage".

Ignoring contrib code for the moment, I decided to look at from 2011-01-05. There's one report ( which turns out to be a false positive:

* Step 6 calls cmdhelp() on line 168;
* cmdhelp() ends with "exit(EXIT_FAILURE);" on line 432 which I assume is exit(3) from libc
* The analyzer doesn't know that this function never returns and continues to flag a null dereference in step 8

What's the fix here?

I think the reports are an excellent way to get acquainted with FreeBSD code. Marking and fixing the false positives would make bug-hunting in the remaining reports more motivating :-)


More information about the freebsd-current mailing list