Potential user/kernel pointer bugs identified in FreeBSD 5.3

[Sean Whalen]

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