From owner-freebsd-hackers@freebsd.org Fri Jul 3 20:47:11 2015 Return-Path: Delivered-To: freebsd-hackers@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id DE4B09934B5 for ; Fri, 3 Jul 2015 20:47:11 +0000 (UTC) (envelope-from pfg@FreeBSD.org) Received: from nm17-vm1.bullet.mail.bf1.yahoo.com (nm17-vm1.bullet.mail.bf1.yahoo.com [98.139.213.55]) (using TLSv1 with cipher ECDHE-RSA-RC4-SHA (128/128 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 918942FF7 for ; Fri, 3 Jul 2015 20:47:11 +0000 (UTC) (envelope-from pfg@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1435956424; bh=msvjKHcqHFGrqvhyAtyFmuk7mpkhQF182yW6P8dTVPo=; h=Date:From:To:CC:Subject:References:In-Reply-To:From:Subject; b=rl6RtCcPmX2ARIrC5VI0HT3kYJKx9L/T7ByZZVB7W94Q+vIaDwAhrGs32mpTJArBagXH/6xEHQ3SIiNHSlYpQg0kg84dazoG3U+2mJMc/XHs95q+MOm7xWgRH2g3UP4nNYaQW1+m3BDUcij9JOarCrIw09Ax2OY67fZzep/6FJc3VaYVZCyMk8KmknMmsLStnps1GxyHNqnfZXvCY7HhBBdeepch/DGLNaYzZjgEpgFzd1DwWLmv4c8FPPWkzL8+yvuvkXHx0YGj9whHvBNTuhmSyMi5ndUNTVMiKiTlZZMa2ST6UH38Z1A1w8U6VrJCFssiC1/rCo+jRMDBQx47Dg== Received: from [98.139.170.179] by nm17.bullet.mail.bf1.yahoo.com with NNFMP; 03 Jul 2015 20:47:04 -0000 Received: from [68.142.230.64] by tm22.bullet.mail.bf1.yahoo.com with NNFMP; 03 Jul 2015 20:47:04 -0000 Received: from [127.0.0.1] by smtp221.mail.bf1.yahoo.com with NNFMP; 03 Jul 2015 20:47:04 -0000 X-Yahoo-Newman-Id: 7939.7045.bm@smtp221.mail.bf1.yahoo.com X-Yahoo-Newman-Property: ymail-3 X-YMail-OSG: Ef8HejoVM1kRnTi2TxMzMwc5SbtftTUZn7iceQ_fCd98s_Z I.YSa2vT5Bqkv_ClhzbX8ZkXSrp6j2vxlWbl4pPv6dqCsUUFaJTG8jTzrBR0 s.P8VzDKfnprdTi3yRvd7V5fAQhavw9OK468cdsEDPWU4BDWnPQ8.Q_4HjeI eiZ0uAXEO.R7bol.m8CepXlPpL_3qzYZvYa0Tw1OOlK282_Udkql1XLICaVr ffUFCITteRCrN0H40gIh3yKGTDA9QeUhJnjJBMUVHErcAlJt8dSWtkAacdc8 vhoxKBDVng4e8kbNgRtEitCBSLRfYsWWCvqdRkaj_whvfLfwi9CEYQ7jAuwa 53osJQNXMlGl4PRnFkxZqSKvB.eQDhq2K.LlLp6oP_liWt7eAP5J4w7Ac2Ag JTn.X052T_yEtMp7h7Ck3JpaLnFGHqx4I2O.fAVz672DHbryizU5IVAOI1iS q0uI5BB.eC5jgdpZg8HxR9lvIdKkuzou9cnu7wm3AgGB8Abvn3b_jVhG5Ssc _tbibsenwmkk5.gOPdwa.KEmFQJ0XOltJ X-Yahoo-SMTP: xcjD0guswBAZaPPIbxpWwLcp9Unf Message-ID: <5596F4D3.5020602@FreeBSD.org> Date: Fri, 03 Jul 2015 15:47:15 -0500 From: Pedro Giffuni User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 MIME-Version: 1.0 To: Maxime Villard CC: FreeBSD Hackers Subject: Re: Brainy: Set of 17 potential bugs References: <5596B894.5060708@FreeBSD.org> <5596BE6B.8030508@m00nbsd.net> In-Reply-To: <5596BE6B.8030508@m00nbsd.net> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-BeenThere: freebsd-hackers@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: Technical Discussions relating to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 03 Jul 2015 20:47:12 -0000 On 07/03/15 11:55, Maxime Villard wrote: > Le 03/07/2015 18:30, Pedro Giffuni a écrit : >> Hi Maxime; >> >> Le 28/02/2015 15:51, Maxime Villard a écrit : >>> Hi, >>> I have been developing a C code scanner for a while, particularly good at >>> finding kernel bugs. I've scanned the FreeBSD tree partially, and among >>> the numerous results, I've put here a list of 17 bugs affecting the >>> FreeBSD-10 Stable kernel: >>> >>> http://m00nbsd.net/59a47a86959c23b3f7c8bc495598dfde.html >> I think: >> # 04 SYS/NFS/ >> >> _01/FIXED-rev279405|UNINITIALIZED VAR: krpc_subr.crev256281 >> >> Uninitialized var 'so' at l.430. >> >> is a false positive. >> >> The socket is created on line 222. >> > > I guess you didn't spot the "FIXED-rev279405" mentioned in the line you > just quoted. > > Fixed four months ago: > > http://svnweb.freebsd.org/base/head/sys/nfs/krpc_subr.c?view=log Ah, oops ... Sorry for *my* false positive. I shouldn't try to figure out stuff like this from a tablet. ;) Pedro.