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

[malc <av1474@comtv.ru>]

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:av1474@comtv.ru