From: Rich Felker <dalias@libc.org>
To: musl@lists.openwall.com
Subject: Re: Results of static analysis with clang static analyser
Date: Wed, 23 Sep 2015 15:38:09 -0400 [thread overview]
Message-ID: <20150923193809.GE17773@brightrain.aerifal.cx> (raw)
In-Reply-To: <D28EA11E-B6E9-4C71-9110-9EE6B93DC71E@gmail.com>
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
next prev parent reply other threads:[~2015-09-23 19:38 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-09-23 5:58 Khem Raj
2015-09-23 19:38 ` Rich Felker [this message]
2015-09-23 20:02 ` Jens Gustedt
2015-09-24 0:34 ` Rich Felker
2015-09-24 7:22 ` Jens Gustedt
2015-09-24 8:51 ` [PATCH] help static analysis by avoiding to hold state in a pointer that is subject to arithmetic Jens Gustedt
2015-09-25 15:35 ` Results of static analysis with clang static analyser Matt Avery
2015-09-25 21:37 ` Jens Gustedt
2015-09-23 20:11 ` Szabolcs Nagy
2015-09-24 6:35 ` Rich Felker
2015-09-23 20:34 ` Szabolcs Nagy
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20150923193809.GE17773@brightrain.aerifal.cx \
--to=dalias@libc.org \
--cc=musl@lists.openwall.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.vuxu.org/mirror/musl/
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).