From owner-freebsd-current Fri Jul 3 02:30:22 1998 Return-Path: Received: (from majordom@localhost) by hub.freebsd.org (8.8.8/8.8.8) id CAA21120 for freebsd-current-outgoing; Fri, 3 Jul 1998 02:30:22 -0700 (PDT) (envelope-from owner-freebsd-current@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 CAA21100 for ; Fri, 3 Jul 1998 02:30:17 -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 JAA20491; Fri, 3 Jul 1998 09:29:58 GMT Received: (from eivind@localhost) by bitbox.follo.net (8.8.8/8.8.6) id LAA24984; Fri, 3 Jul 1998 11:29:57 +0200 (MET DST) Message-ID: <19980703112957.49905@follo.net> Date: Fri, 3 Jul 1998 11:29:57 +0200 From: Eivind Eklund To: Terry Lambert Cc: toasty@home.dragondata.com, andreas@klemm.gtn.com, current@FreeBSD.ORG Subject: Re: -current wishlist References: <19980702213011.35162@follo.net> <199807030216.TAA18411@usr04.primenet.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 0.89.1i In-Reply-To: <199807030216.TAA18411@usr04.primenet.com>; from Terry Lambert on Fri, Jul 03, 1998 at 02:16:23AM +0000 Sender: owner-freebsd-current@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG On Fri, Jul 03, 1998 at 02:16:23AM +0000, Terry Lambert wrote: > > They're part of a large fix-set I've got; unfortunately, the > > (commercial) tools I use to find problems require a lot of 'pointless' > > changes, including error control comments. This means that extracting > > individual fixes such as the below can be quite a bit of work, and > > committing the 'pointless' changes has been deemed deterimental to > > everybody that don't have the tools... > > What tools are you using? Something from McCabe systems, perhaps, > which costs ~$55,000 a seat? If so: I really, really like them... For this particular case, I ran flexelint from Gimpel software (http://www.gimpel.com/). It cost $3000,- for a 5 concurrent users server license, $1995,- for a single server user, and somewhat less for a workstation ($995,- ?) A usual: I'm not associated with them in any way beyond being a happy customer. Eivind. To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-current" in the body of the message