From owner-freebsd-bugs@FreeBSD.ORG  Fri Jan  7 23:08:20 2005
Return-Path: <owner-freebsd-bugs@FreeBSD.ORG>
Delivered-To: freebsd-bugs@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 5AEE816A4CE
	for <freebsd-bugs@freebsd.org>; Fri,  7 Jan 2005 23:08:20 +0000 (GMT)
Received: from obsecurity.dyndns.org
	(CPE0050040655c8-CM00111ae02aac.cpe.net.cable.rogers.com [69.199.47.57])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 0CB3743D55
	for <freebsd-bugs@freebsd.org>; Fri,  7 Jan 2005 23:08:20 +0000 (GMT)
	(envelope-from kris@obsecurity.org)
Received: by obsecurity.dyndns.org (Postfix, from userid 1000)
	id C9CA0513CE; Fri,  7 Jan 2005 15:09:08 -0800 (PST)
Date: Fri, 7 Jan 2005 15:09:08 -0800
From: Kris Kennaway <kris@obsecurity.org>
To: Sean Whalen <sean@node99.org>
Message-ID: <20050107230908.GA32344@xor.obsecurity.org>
References: <41DF11EC.1070003@node99.org>
Mime-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="zhXaljGHf11kAtnf"
Content-Disposition: inline
In-Reply-To: <41DF11EC.1070003@node99.org>
User-Agent: Mutt/1.4.2.1i
cc: freebsd-bugs@freebsd.org
Subject: Re: Potential user/kernel pointer bugs identified in FreeBSD 5.3
X-BeenThere: freebsd-bugs@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: Bug reports <freebsd-bugs.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-bugs>,
	<mailto:freebsd-bugs-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-bugs>
List-Post: <mailto:freebsd-bugs@freebsd.org>
List-Help: <mailto:freebsd-bugs-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-bugs>,
	<mailto:freebsd-bugs-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Fri, 07 Jan 2005 23:08:20 -0000


--zhXaljGHf11kAtnf
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Fri, Jan 07, 2005 at 02:49:16PM -0800, Sean Whalen wrote:
> Hello,
>=20
> We recently analyzed the FreeBSD 5.3 kernel source for user/kernel=20
> pointer bugs using the Cqual tool (http://cqual.sourcefornet.net).
> Previous work has done the same with the Linux kernel.
>=20
> The paper is available here: http://www.node99.org/projects/bsduk/
> On page 10 is an example trace of one such potential bug.  If there is=20
> interest, we have traces for the others as well.
>=20
> Our analysis was limited by RAM, and could be potentially improved by=20
> using a machine with around 10 gigs of RAM for inter-file analysis of=20
> the entire kernel.
>=20
> Hopefully this is the right list for such a discussion.  Best,

freebsd-hackers would be better.

Kris

--zhXaljGHf11kAtnf
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (FreeBSD)

iD8DBQFB3xaUWry0BWjoQKURArgBAJ44FIBhOkApWezUe3dSCy5Bp/4RTwCg2Dm9
Wys8NwBhbXE0k0dkx/w2Z54=
=gRy1
-----END PGP SIGNATURE-----

--zhXaljGHf11kAtnf--