Potential user/kernel pointer bugs identified in FreeBSD 5.3

[Kris Kennaway]

On Fri, Jan 07, 2005 at 02:49:16PM -0800, Sean Whalen wrote:
> 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,

freebsd-hackers would be better.

Kris
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 187 bytes
Desc: not available
Url : http://lists.freebsd.org/pipermail/freebsd-bugs/attachments/20050107/d3ac70ec/attachment.bin