[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: |
Blue Swirl |
Subject: |
Re: [Qemu-devel] Static analysis using clang on the x86_64 target |
Date: |
Tue, 12 Jan 2010 19:35:08 +0000 |
On Tue, Jan 12, 2010 at 6:13 PM, Amit Shah <address@hidden> 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.
I'd be very interested in the results of Sparc32 and Sparc64 analyses.