From owner-freebsd-hackers@FreeBSD.ORG  Sat Feb 28 18:31:15 2015
Return-Path: <owner-freebsd-hackers@FreeBSD.ORG>
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 51259B26
 for <freebsd-hackers@freebsd.org>; Sat, 28 Feb 2015 18:31:15 +0000 (UTC)
Received: from 14.mo4.mail-out.ovh.net (14.mo4.mail-out.ovh.net [46.105.40.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 1210485D
 for <freebsd-hackers@freebsd.org>; Sat, 28 Feb 2015 18:31:14 +0000 (UTC)
Received: from mail194.ha.ovh.net (gw6.ovh.net [213.251.189.206])
 by mo4.mail-out.ovh.net (Postfix) with SMTP id 405FDFF8CB3
 for <freebsd-hackers@freebsd.org>; Sat, 28 Feb 2015 15:51:51 +0100 (CET)
Received: from b0.ovh.net (HELO queueout) (213.186.33.50)
 by b0.ovh.net with SMTP; 28 Feb 2015 16:51:51 +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; 28 Feb 2015 16:51:50 +0200
Message-ID: <54F1D602.6050108@M00nBSD.net>
Date: Sat, 28 Feb 2015 15:51:46 +0100
From: Maxime Villard <max@M00nBSD.net>
MIME-Version: 1.0
To: freebsd-hackers@freebsd.org
Subject: Brainy: Set of 17 potential bugs
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
X-Ovh-Tracer-Id: 15422013974438088667
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: 50
X-OVH-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeejledrfeefucetufdoteggodetrfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecuogetfeejfedqtdegucdlhedtmd
X-VR-SPAMSTATE: OK
X-VR-SPAMSCORE: 50
X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeejledrfeefucetufdoteggodetrfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecuogetfeejfedqtdegucdlhedtmd
X-BeenThere: freebsd-hackers@freebsd.org
X-Mailman-Version: 2.1.18-1
Precedence: list
List-Id: Technical Discussions relating to FreeBSD
 <freebsd-hackers.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/freebsd-hackers>, 
 <mailto:freebsd-hackers-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-hackers/>
List-Post: <mailto:freebsd-hackers@freebsd.org>
List-Help: <mailto:freebsd-hackers-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>,
 <mailto:freebsd-hackers-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sat, 28 Feb 2015 18:31:15 -0000

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