Follow @Openwall on Twitter for new release announcements and other news
[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Date: Wed, 23 Sep 2015 15:38:09 -0400
From: Rich Felker <dalias@...c.org>
To: musl@...ts.openwall.com
Subject: Re: Results of static analysis with clang static analyser

On Tue, Sep 22, 2015 at 10:58:55PM -0700, Khem Raj wrote:
> Hi All
> 
> I have run scan-build on musl-git and here are results
> 
> http://busybox.net/~kraj/scan-build-2015-09-22-224330-15962-1/

At a quick glance, most of these seem to be cases of assuming system
calls do not store to the objects they receive pointers to. This makes
them false positives, but if llvm is actually making that same
assumption when optimizing that could be a bug in itself. Hopefully
it's just treating it as "unknown" whether the object is stored to,
rather than "definitely not accessed".

I'll look at it in more detail later. Thanks!

Rich

Powered by blists - more mailing lists

Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.