From owner-freebsd-security@FreeBSD.ORG Wed Apr 23 17:54:01 2014 Return-Path: Delivered-To: freebsd-security@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id CF220354 for ; Wed, 23 Apr 2014 17:54:01 +0000 (UTC) Received: from h2.funkthat.com (gate2.funkthat.com [208.87.223.18]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client CN "funkthat.com", Issuer "funkthat.com" (not verified)) by mx1.freebsd.org (Postfix) with ESMTPS id AA87B143A for ; Wed, 23 Apr 2014 17:54:01 +0000 (UTC) Received: from h2.funkthat.com (localhost [127.0.0.1]) by h2.funkthat.com (8.14.3/8.14.3) with ESMTP id s3NHrmBS013349 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Wed, 23 Apr 2014 10:53:49 -0700 (PDT) (envelope-from jmg@h2.funkthat.com) Received: (from jmg@localhost) by h2.funkthat.com (8.14.3/8.14.3/Submit) id s3NHrlxB013348; Wed, 23 Apr 2014 10:53:47 -0700 (PDT) (envelope-from jmg) Date: Wed, 23 Apr 2014 10:53:47 -0700 From: John-Mark Gurney To: Erik Cederstrand Subject: Re: OpenSSL static analysis, was: De Raadt + FBSD + OpenSSH + hole? Message-ID: <20140423175347.GI43976@funkthat.com> Mail-Followup-To: Erik Cederstrand , "Ronald F. Guilmette" , "freebsd-security@freebsd.org" References: <10999.1398215531@server1.tristatelogic.com> <50CA7E78-BB5E-4872-A272-B7374627EC12@cederstrand.dk> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <50CA7E78-BB5E-4872-A272-B7374627EC12@cederstrand.dk> User-Agent: Mutt/1.4.2.3i X-Operating-System: FreeBSD 7.2-RELEASE i386 X-PGP-Fingerprint: 54BA 873B 6515 3F10 9E88 9322 9CB1 8F74 6D3F A396 X-Files: The truth is out there X-URL: http://resnet.uoregon.edu/~gurney_j/ X-Resume: http://resnet.uoregon.edu/~gurney_j/resume.html X-TipJar: bitcoin:13Qmb6AeTgQecazTWph4XasEsP7nGRbAPE X-to-the-FBI-CIA-and-NSA: HI! HOW YA DOIN? can i haz chizburger? X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.2.2 (h2.funkthat.com [127.0.0.1]); Wed, 23 Apr 2014 10:53:49 -0700 (PDT) Cc: "freebsd-security@freebsd.org" , "Ronald F. Guilmette" X-BeenThere: freebsd-security@freebsd.org X-Mailman-Version: 2.1.17 Precedence: list List-Id: "Security issues \[members-only posting\]" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 23 Apr 2014 17:54:01 -0000 Erik Cederstrand wrote this message on Wed, Apr 23, 2014 at 12:06 +0200: > Den 23/04/2014 kl. 03.12 skrev Ronald F. Guilmette : > > > > In message <20140423010054.2891E143D098@rock.dv.isc.org>, > > Mark Andrews wrote: > > > >> As for the number of CLANG analysis warnings. Clang has false > >> positives > > > > Please define your terms. > > > > I do imagine that the truth or falsehood of your assertion may depend > > quite substantally on what one does or does not consider a "false > > positive" in this context. > > Have a look at the ~10.000 reports at http://scan.freebsd.your.org/freebsd-head/ (unavailable ATM). Silly things are reported like missing return at the end of main() Considering that this is legal C99, it is very silly, from 5.1.2.2.3 of the C99 spec: reaching the } that terminates the main function returns a value of 0. -- John-Mark Gurney Voice: +1 415 225 5579 "All that I will do, has been done, All that I have, has not."