[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20150923193809.GE17773@brightrain.aerifal.cx>
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.
