--- "Michael D. Crawford" <[EMAIL PROTECTED]> wrote: ... > > I would be happy if there were free software that could do what > Gimpel > Software's products do, but I don't think there is. gcc does a > certain amount > of lint-like diagnostics, but not nearly so extensive. >
Would Splint suit? "Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint." In unstable, I think. hth, Patrick. __________________________________________________ Yahoo! - We Remember 9-11: A tribute to the more than 3,000 lives lost http://dir.remember.yahoo.com/tribute -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
