Date: Sat, 17 Jan 2004 12:09:10 +0800 From: "Xin LI" <delphij@frontfree.net> To: "Paul Twohey" <twohey@CS.Stanford.EDU>, <freebsd-hackers@freebsd.org> Subject: Re: [CHECKER] bugs in FreeBSD Message-ID: <03f801c3dcaf$aa099c90$0401a8c0@phantasm205> References: <Pine.LNX.4.44.0401151659370.26554-100000@Xenon.Stanford.EDU>
next in thread | previous in thread | raw e-mail | index | archive | help
Hello, The tool is amazing :) I am very interested in how does it work, is there any paper published on this topic? Thanks in advance! Xin LI, Beijing University of Technology ----- Original Message ----- From: "Paul Twohey" <twohey@CS.Stanford.EDU> To: <freebsd-hackers@freebsd.org> Sent: Saturday, January 17, 2004 8:01 AM Subject: [CHECKER] bugs in FreeBSD > Hi, > > I'm with the Stanford Metacompilation research group. We have a suite of > checkers that find bugs at compile time and we've had quite a bit of > success checking the Linux kernel code for errors. Since our checkers can > emit false alarms we filter the reports before we give them to the kernel > developers. While some false alarms slip past us to the developers, our > limited knowledge of the kernel allows us to recognize most of them. > > We are currently trying to extend our checker to automatically find > functions which allocate resources and to make sure those resources are > properly disposed of. > > Enclosed is a list of potential bugs in FreeBSD where a value is returned > from a function (like malloc) that should be owned by the caller and the > caller does not properly dispose of the value with the appropriate > disposal routine (like free).
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?03f801c3dcaf$aa099c90$0401a8c0>