aboutsummaryrefslogtreecommitdiffstats
path: root/devel/splint/pkg-descr
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>