lclint-interest message 56
From firstname.lastname@example.org Fri Mar 22 12:53:53 1996
From: email@example.com (Jim Horning)
Date: Thu, 21 Mar 1996 11:44:21 -0800
Reply-To: firstname.lastname@example.org, email@example.com
X-Mailer: Z-Mail (3.2.3 08feb96 MediaMail)
Subject: (Fwd) Re: LCLint
Content-Type: text/plain; charset=us-ascii
--- Forwarded mail from Corky Cartwright
Date: Thu, 21 Mar 1996 13:12:12 -0600 (CST)
From: Corky Cartwright
To: firstname.lastname@example.org (David Evans)
Subject: Re: LCLint
Cc: email@example.com, horning
>I think Jim Horning made the main point I want to make, and that is that
>unlike in formal verification, in the static checking area we do not
>need to view soundness as an essential property.
The real issue in LCLint is how effectively it finds bugs. The
term "soundness" is misleading in this context because LCLint does
not perform static checking in usually accepted meaning of the term.
(What properties are being checked?) Rather, LCLint is a programming tool
that attempts to help programmers statically identify memory bugs. What I
would like to know is given representative programs that may or may not
have memory bugs, how often does LCLint fail to find a memory bug and
how often does it signal a false alarm.
-- Corky Cartwright
---End of forwarded mail from Corky Cartwright
Well, gang, any experience out there yet?
firstname.lastname@example.org (415) 933-4067 FAX (415) 933-6175
Silicon Graphics, 2011 N. Shoreline Blvd., MS 178, Mountain View, CA 94043
University of Virginia, Computer Science