aboutsummaryrefslogtreecommitdiffstats
path: root/devel/splint/pkg-descr
blob: 1c041bab056b2269f81a1c0915f7df7c784b8bdc (plain) (blame)
1
2
3
4
5
6
LCLint is a tool for statically checking C programs.  With minimal
effort, LCLint can be used as a better lint.  If additional effort is
invested adding annotations to programs, LCLint can perform stronger
checks than can be done by any standard lint.

WWW: http://www.sds.lcs.mit.edu/lclint/