Date: Fri, 07 Jan 2005 14:49:16 -0800 From: Sean Whalen <sean@node99.org> To: freebsd-bugs@freebsd.org Subject: Potential user/kernel pointer bugs identified in FreeBSD 5.3 Message-ID: <41DF11EC.1070003@node99.org>
next in thread | raw e-mail | index | archive | help
Hello, We recently analyzed the FreeBSD 5.3 kernel source for user/kernel pointer bugs using the Cqual tool (http://cqual.sourcefornet.net). Previous work has done the same with the Linux kernel. 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 interest, we have traces for the others as well. Our analysis was limited by RAM, and could be potentially improved by using a machine with around 10 gigs of RAM for inter-file analysis of the entire kernel. Hopefully this is the right list for such a discussion. Best, -Sean
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?41DF11EC.1070003>