On Thu 2009-05-28 11:14:13 UTC+0100, Steve Searle ([email protected]) wrote:
> > As does (f)lint: > > Is this a free version of lint? If so, where do you get it from? Splint is free. "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." http://www.splint.org/
