From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.org/gmane.linux.lib.musl.general/8549 Path: news.gmane.org!not-for-mail From: Rich Felker Newsgroups: gmane.linux.lib.musl.general Subject: Re: Results of static analysis with clang static analyser Date: Wed, 23 Sep 2015 15:38:09 -0400 Message-ID: <20150923193809.GE17773@brightrain.aerifal.cx> References: Reply-To: musl@lists.openwall.com NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1443037124 7536 80.91.229.3 (23 Sep 2015 19:38:44 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 23 Sep 2015 19:38:44 +0000 (UTC) To: musl@lists.openwall.com Original-X-From: musl-return-8561-gllmg-musl=m.gmane.org@lists.openwall.com Wed Sep 23 21:38:29 2015 Return-path: Envelope-to: gllmg-musl@m.gmane.org Original-Received: from mother.openwall.net ([195.42.179.200]) by plane.gmane.org with smtp (Exim 4.69) (envelope-from ) id 1Zeps4-0005nL-3J for gllmg-musl@m.gmane.org; Wed, 23 Sep 2015 21:38:28 +0200 Original-Received: (qmail 19925 invoked by uid 550); 23 Sep 2015 19:38:24 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: Original-Received: (qmail 19905 invoked from network); 23 Sep 2015 19:38:23 -0000 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) Original-Sender: Rich Felker Xref: news.gmane.org gmane.linux.lib.musl.general:8549 Archived-At: 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