From owner-freebsd-hackers@FreeBSD.ORG Fri Jan 16 20:09:08 2004 Return-Path: Delivered-To: freebsd-hackers@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id C297F16A4CE for ; Fri, 16 Jan 2004 20:09:08 -0800 (PST) Received: from ftp.bjpu.edu.cn (ftp.bjpu.edu.cn [202.112.78.5]) by mx1.FreeBSD.org (Postfix) with ESMTP id 1862343D1F for ; Fri, 16 Jan 2004 20:09:07 -0800 (PST) (envelope-from delphij@frontfree.net) Received: by ftp.bjpu.edu.cn (Postfix, from userid 426) id 9BF4152D4; Sat, 17 Jan 2004 12:09:04 +0800 (CST) Received: from beastie.frontfree.net (beastie.frontfree.net [218.107.145.7]) by ftp.bjpu.edu.cn (Postfix) with ESMTP id 636E75299 for ; Sat, 17 Jan 2004 12:09:04 +0800 (CST) Received: by beastie.frontfree.net (Postfix, from userid 426) id 0CE9111675; Sat, 17 Jan 2004 12:09:03 +0800 (CST) Received: from phantasm205 (unknown [61.49.185.93]) (using TLSv1 with cipher RC4-MD5 (128/128 bits)) (No client certificate requested) by beastie.frontfree.net (Postfix) with ESMTP id 08A3A11421; Sat, 17 Jan 2004 12:09:02 +0800 (CST) Message-ID: <03f801c3dcaf$aa099c90$0401a8c0@phantasm205> From: "Xin LI" To: "Paul Twohey" , References: Date: Sat, 17 Jan 2004 12:09:10 +0800 Organization: Phantasm Studio MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.3790.0 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.3790.0 Subject: Re: [CHECKER] bugs in FreeBSD X-BeenThere: freebsd-hackers@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: Technical Discussions relating to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 17 Jan 2004 04:09:08 -0000 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" To: 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).