C language > Tips & tricks

Source code checker

(1/1)

kobold:

--- 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.
--- End quote ---


http://www.splint.org/

Navigation

[0] Message Index

Go to full version