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.
|splint-3.1.2.src.tgz||00022840332.18 MB||1397571895about 4 years ago|
|splint.spec||00000073127.14 KB||1463227175almost 2 years ago|