blob: 43ef9c3229e813218fc7788aca1069d83c5bafae (
plain) (
blame)
1
2
3
4
5
6
7
|
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/
|
