From owner-freebsd-hackers Sun May 24 16:07:17 1998 Return-Path: Received: (from majordom@localhost) by hub.freebsd.org (8.8.8/8.8.8) id QAA29047 for freebsd-hackers-outgoing; Sun, 24 May 1998 16:07:17 -0700 (PDT) (envelope-from owner-freebsd-hackers@FreeBSD.ORG) Received: from ns1.yes.no (ns1.yes.no [195.119.24.10]) by hub.freebsd.org (8.8.8/8.8.8) with ESMTP id QAA28989 for ; Sun, 24 May 1998 16:06:25 -0700 (PDT) (envelope-from eivind@bitbox.follo.net) Received: from bitbox.follo.net (bitbox.follo.net [195.204.143.218]) by ns1.yes.no (8.8.7/8.8.7) with ESMTP id XAA18435 for ; Sun, 24 May 1998 23:05:58 GMT Received: (from eivind@localhost) by bitbox.follo.net (8.8.8/8.8.6) id BAA07886; Mon, 25 May 1998 01:05:44 +0200 (MET DST) Message-ID: <19980525010543.56365@follo.net> Date: Mon, 25 May 1998 01:05:43 +0200 From: Eivind Eklund To: hackers@FreeBSD.ORG Subject: Re: Kernel hackers Tricks & Tips References: <199805242224.IAA02315@gsms01.alcatel.com.au> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 0.89.1i In-Reply-To: <199805242224.IAA02315@gsms01.alcatel.com.au>; from Peter Jeremy on Mon, May 25, 1998 at 08:24:28AM +1000 Sender: owner-freebsd-hackers@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG On Mon, May 25, 1998 at 08:24:28AM +1000, Peter Jeremy wrote: > >3. You can automatically find problems (potential bugs) in old source > > by running flexelint against it > You could also try LCLint (in ports). It's full capabilities require > additional specification files, but it does a reasonable job on raw > source code. IIRC, it hasn't got good enough error suppression to be easily useable. I've not yet gotten around to trying to use its full capabilities - they seem rather nice. It seems a possibly usable alternative if you're on a budget or have quite a bit free time to set it up for the project; however, it still hasn't (or at least I seem to remember it hasn't) the value-tracking capabilities of flexelint, which make it automatically detect missing checks for return values etc. This is _very_ useful. Eivind. To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message