[Qemu-devel] Static analysis using clang on the x86_64 target

[Amit Shah]

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