From owner-freebsd-hackers@freebsd.org Fri Jul 3 16:30:10 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 383E4994340 for ; Fri, 3 Jul 2015 16:30:10 +0000 (UTC) (envelope-from pfg@FreeBSD.org) Received: from nm13-vm0.bullet.mail.bf1.yahoo.com (nm13-vm0.bullet.mail.bf1.yahoo.com [98.139.213.79]) (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 DFFC61191 for ; Fri, 3 Jul 2015 16:30:09 +0000 (UTC) (envelope-from pfg@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1435941004; bh=PotTc9ZJPPf/P4mm9l+Lcs7KFK/XQekA2LOKoAONH3c=; h=Date:From:To:CC:Subject:From:Subject; b=YIndnHSnTzGEcNIC4f0cXwlu8j4HROcZyt6CGk+l2HisaBNKsYBGiAOnDduyUJ6RbqG1h8PV8gSmA+5PJ/KKDneIvTDRj9RGyAgAx4XHqv5CFUKMJLar4g5nEInxkb8lx2CqeT7EShI8BViQdEo6mUgPtsGkq4pU1oZJGcSh6IgUGdWhZZgiDAAlYtr7dOBS5vnle7b6zGS8Z3khI/M0pY3RTE4ysT3UZvn9IQLjyVX9dXkH90xFONNYq55yCoNOrnrgF6X6taJ4pOKfDuJJtWoHLuOb+L7PJJpd0Hu0sEY4gO61vKSoHe+yIkpKEetqw8vUUtbBxyR4R4RMpWZ8QQ== Received: from [66.196.81.170] by nm13.bullet.mail.bf1.yahoo.com with NNFMP; 03 Jul 2015 16:30:04 -0000 Received: from [98.139.213.9] by tm16.bullet.mail.bf1.yahoo.com with NNFMP; 03 Jul 2015 16:30:02 -0000 Received: from [127.0.0.1] by smtp109.mail.bf1.yahoo.com with NNFMP; 03 Jul 2015 16:30:02 -0000 X-Yahoo-Newman-Id: 733462.62098.bm@smtp109.mail.bf1.yahoo.com X-Yahoo-Newman-Property: ymail-3 X-YMail-OSG: gSIjFt8VM1l8.B54VoYV_LhGLC_jiHJY1De.7VtKE7M.z6A 1iJYQyWGWvh_A6wH8noxiYzuajvUwroZzmvobXI3hr7kky8g3ZsBnlN2R32r ea55wckrzqvauoF35HNSdUwpyzY7ydLUfux6zuUx_APJ7isIkVG144FeMuQ6 zcvRvXsA.IOnbLZVvPg1mNvuJ2EfIEItSYmJk0Gq2f1IEdUBiUS4KARnGh5D oFQMpwfEWQCLGjDqAsTrP2b4saCQUOs51iOsox0e65xEDemFZhSPq4W2zi9z IPh.OkfYbmgeKnFt0RQyLQdxwGjRegF65__4wQF0T3SKEIoUUd1FjY79f24z gdN7pSNy_QYBSosZPzqj8ZWpBEz7axMdWD04BeKNRETHZD5B6rzOUR8CZrzG o3hqaICzWZ0btj0VnFDZxcrS0KJYSAIZVpRBtPcHyTqRmErn3yfoGXndQlnT IfPSsNno741LnfVRTzp52Np8vuNsg7O5KJJNHeRgD8MYnIWSTi8m9oykidjI cRtjnKvhakMjOw6BGVpju3P.PeCcLyDu6 X-Yahoo-SMTP: xcjD0guswBAZaPPIbxpWwLcp9Unf Message-ID: <5596B894.5060708@FreeBSD.org> Date: Fri, 03 Jul 2015 11:30:12 -0500 From: Pedro Giffuni Organization: FreeBSD Project User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; 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 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 16:30:10 -0000 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. Cheers, Pedro.