| Description |
Splint is a tool for statically checking C programs for security vulnerabilities and common programming mistakes. With minimal effort, Splint can be used as a better lint(1). If additional effort is invested adding annotations to programs, Splint can perform stronger checks than can be done by any standard lint. |