[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] Static analysis using clang on the x86_64 target
From: |
malc |
Subject: |
Re: [Qemu-devel] Static analysis using clang on the x86_64 target |
Date: |
Tue, 12 Jan 2010 22:01:15 +0300 (MSK) |
On Tue, 12 Jan 2010, Amit Shah wrote:
> 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/
Both audio.c issues are wrong, dma/sb16 is of useless operation variety
nevertheless the "fix" is pushed, hopefuly clang shouldn't complain about
them anymore.
--
mailto:address@hidden