Re: Potential user/kernel pointer bugs in FreeBSD 5.3

2005-01-07 Thread Colin Percival
Sean Whalen wrote: We recently did work with the Cqual type inference tool to identify potential user/kernel pointer bugs in FreeBSD 5.3. Our paper is available here: http://www.node99.org/projects/bsduk/ We identified 5 potential bugs which we are looking to confirm with the community. Page

Potential user/kernel pointer bugs in FreeBSD 5.3

2005-01-07 Thread Sean Whalen
Hello, We recently did work with the Cqual type inference tool to identify potential user/kernel pointer bugs in FreeBSD 5.3. Our paper is available here: http://www.node99.org/projects/bsduk/ We identified 5 potential bugs which we are looking to confirm with the community. Page 10 contains