blob: 29fe2d358aa93953abf3da6f84e1e31cd9f3812f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
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.
WWW: http://www.splint.org/
- Raymond Medeiros <rrm@subterrain.net>
|