From owner-freebsd-hackers@FreeBSD.ORG Tue Mar 17 17:40:01 2015 Return-Path: Delivered-To: freebsd-hackers@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id DFFE9830 for ; Tue, 17 Mar 2015 17:40:01 +0000 (UTC) Received: from 4.mo69.mail-out.ovh.net (4.mo69.mail-out.ovh.net [46.105.42.102]) (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 9FFABE89 for ; Tue, 17 Mar 2015 17:40:01 +0000 (UTC) Received: from mail97.ha.ovh.net (b9.ovh.net [213.186.33.59]) by mo69.mail-out.ovh.net (Postfix) with SMTP id D43C71000FCD for ; Tue, 17 Mar 2015 16:13:44 +0100 (CET) Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 17 Mar 2015 17:13:44 +0200 Received: from nor75-4-82-224-154-80.fbx.proxad.net (HELO localhost.localdomain) (max@M00nBSD.net@82.224.154.80) by ns0.ovh.net with SMTP; 17 Mar 2015 17:13:42 +0200 Message-ID: <550844A5.6090003@M00nBSD.net> Date: Tue, 17 Mar 2015 16:13:41 +0100 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 Content-Transfer-Encoding: 8bit X-Ovh-Tracer-Id: 4946359766703738843 X-Ovh-Remote: 82.224.154.80 (nor75-4-82-224-154-80.fbx.proxad.net) X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-OVH-SPAMSTATE: OK X-OVH-SPAMSCORE: 0 X-OVH-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeejledrjeegucetufdoteggodetrfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecu X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeejledrjeegucetufdoteggodetrfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecu X-BeenThere: freebsd-hackers@freebsd.org X-Mailman-Version: 2.1.18-1 Precedence: list List-Id: Technical Discussions relating to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 17 Mar 2015 17:40:02 -0000 I have added two memory leaks in NFS: http://m00nbsd.net/59a47a86959c23b3f7c8bc495598dfde.html#Unsorted-1 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" >