[CHECKER] bugs in FreeBSD
delphij at frontfree.net
Fri Jan 16 20:09:08 PST 2004
The tool is amazing :)
I am very interested in how does it work, is there any paper published on
Thanks in advance!
Beijing University of Technology
----- Original Message -----
From: "Paul Twohey" <twohey at CS.Stanford.EDU>
To: <freebsd-hackers at freebsd.org>
Sent: Saturday, January 17, 2004 8:01 AM
Subject: [CHECKER] bugs in FreeBSD
> 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).
More information about the freebsd-hackers