From owner-freebsd-hackers@FreeBSD.ORG Sun Mar 1 11:59:01 2015 Return-Path: Delivered-To: freebsd-hackers@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 4FA56370 for ; Sun, 1 Mar 2015 11:59:01 +0000 (UTC) Received: from mail-wi0-x230.google.com (mail-wi0-x230.google.com [IPv6:2a00:1450:400c:c05::230]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id D009E614 for ; Sun, 1 Mar 2015 11:59:00 +0000 (UTC) Received: by widem10 with SMTP id em10so9047789wid.1 for ; Sun, 01 Mar 2015 03:58:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type; bh=F/8VTqpzOhp9w5UxesLomYEZhavmqD+2u0EKI8dhnRM=; b=Wr5+rjg187BDyL8isPmnRnMsM5NJmMv2NSCUvcp/M2BzegQi7Y4sx+yTrbYXe/EOsF Iz/j9BU383s6YQlbAho3JIUP62P8a6cVBT4sfoy6F5OSeX9ADCN7dIKZ5lXyLZhRSXTn AKBw0a59hobVOotHunjwd5o1cYIylBQkQRZmbkoflQtfdMAB/3RJfPutDr0uIjYbZcZh +j9EodGpibkoZedPnLckBd/1JfEDwBBNAs1VXmqBvQ44oKxBB080sxEtpe2P3wxnIRJQ dpkJnG15oTgJs1EDjOZVyO+aAu9nx8nfhk+7t+6d9T6MTIz8UJyQqG/nMGqJSLTovozM asPg== X-Received: by 10.180.74.111 with SMTP id s15mr24761683wiv.61.1425211138496; Sun, 01 Mar 2015 03:58:58 -0800 (PST) Received: from [10.0.0.1] (27.228.broadband3.iol.cz. [85.70.228.27]) by mx.google.com with ESMTPSA id q10sm14347201wjr.41.2015.03.01.03.58.56 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 01 Mar 2015 03:58:57 -0800 (PST) Message-ID: <54F2FEFF.40609@gmail.com> Date: Sun, 01 Mar 2015 12:58:55 +0100 From: =?windows-1252?Q?V=E1clav_Zeman?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.4.0 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: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="I9hMe6ITg36IrIQL6SGel3f1FgmMEQ4Il" 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: Sun, 01 Mar 2015 11:59:01 -0000 This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --I9hMe6ITg36IrIQL6SGel3f1FgmMEQ4Il Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable On 28.2.2015 15:51, Maxime Villard wrote: > 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: >=20 > http://m00nbsd.net/59a47a86959c23b3f7c8bc495598dfde.html I find the page rather confusing with the numbering: `0x09 LEAK: ixl/ixlvc.c rev274360` is followed by `0x10 LEAK: ixl/ixlvc.c rev274360`, which is not what I would expect from hexadecimal numbers. >=20 > Found by The Brainy Code Scanner. More information: max at m00nbsd dot = net --=20 VZ --I9hMe6ITg36IrIQL6SGel3f1FgmMEQ4Il Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iF4EAREKAAYFAlTy/v8ACgkQonnuNA9W3VKCuQD/YzOYwGhwFFr5bj2OSW1MTYVF FavN9EAjVHFgXtLneBMA/A7lkMEFqNawA0zmiAjDoVbf+Sk7MEpB1Etxzr/AoZR/ =Drp6 -----END PGP SIGNATURE----- --I9hMe6ITg36IrIQL6SGel3f1FgmMEQ4Il--