From owner-freebsd-hackers@freebsd.org Thu Jul 2 20:21:46 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 CDA739930CA for ; Thu, 2 Jul 2015 20:21:46 +0000 (UTC) (envelope-from max@m00nbsd.net) Received: from 15.mo5.mail-out.ovh.net (15.mo5.mail-out.ovh.net [178.33.107.29]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 958B82AB1 for ; Thu, 2 Jul 2015 20:21:46 +0000 (UTC) (envelope-from max@m00nbsd.net) Received: from mail632.ha.ovh.net (gw6.ovh.net [213.251.189.206]) by mo5.mail-out.ovh.net (Postfix) with SMTP id 5A659FFA8B1 for ; Thu, 2 Jul 2015 19:55:49 +0200 (CEST) Received: from localhost (HELO queueout) (127.0.0.1) by localhost with SMTP; 2 Jul 2015 19:55:47 +0200 Received: from str75-4-78-193-192-205.fbxo.proxad.net (HELO localhost.localdomain) (max@M00nBSD.net@78.193.192.205) by ns0.ovh.net with SMTP; 2 Jul 2015 19:55:44 +0200 Message-ID: <55957B1C.3070609@m00nbsd.net> Date: Thu, 02 Jul 2015 19:55:40 +0200 From: Maxime Villard MIME-Version: 1.0 To: freebsd-hackers@freebsd.org Subject: Re: Brainy: Set of 17 potential bugs References: <54F1D602.6050108@M00nBSD.net> In-Reply-To: <54F1D602.6050108@M00nBSD.net> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit X-Ovh-Tracer-Id: 8872091267216379867 X-Ovh-Remote: 78.193.192.205 (str75-4-78-193-192-205.fbxo.proxad.net) X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-OVH-SPAMSTATE: OK X-OVH-SPAMSCORE: 0 X-OVH-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeekvddrfeefucetufdoteggucfrrhhofhhilhgvmecuqfggjfenuceurghilhhouhhtmecufedttdenuc X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeekvddrfeefucetufdoteggucfrrhhofhhilhgvmecuqfggjfenuceurghilhhouhhtmecufedttdenuc 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: Thu, 02 Jul 2015 20:21:46 -0000 Reminder: 12 bugs are still not fixed. 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 > > Found by The Brainy Code Scanner. More information: max at m00nbsd dot net > > Regards, > Maxime Villard > _______________________________________________ > freebsd-hackers@freebsd.org mailing list > http://lists.freebsd.org/mailman/listinfo/freebsd-hackers > To unsubscribe, send any mail to "freebsd-hackers-unsubscribe@freebsd.org" >