Pelles C forum

C language => Tips & tricks => Topic started by: kobold on January 09, 2006, 05:21:08 PM

Title: Source code checker
Post by: kobold on January 09, 2006, 05:21:08 PM
Quote
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/