Hello, Here's a run of the clang analyzer on qemu sources for the x86_64 target.
See http://amitshah.fedorapeople.org/clang-output/2010-01-12-9/ for the results. There are a few results there which look dubious but a lot of the output can be useful to fix the bugs. What's nice about the tool is that the output is the source code annotated with the branch decisions that were taken to point out to the case where a bug would be triggered. Doing this for all the targets takes a really long time plus lots of disk space (I stopped the compile at 400M of clang output). If there's interest in this kind of result, I can post a link to the list every week or so. However, some bugs reported make it slightly less appealing as real bugs could get lost in the noise. For information on the clang static analyzer, see http://clang-analyzer.llvm.org/ Amit
