[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: DOS on non-x86 systems?



--- "Michael D. Crawford" <crawford@goingware.com> 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



Reply to: