7 lines
293 B
Plaintext
7 lines
293 B
Plaintext
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/
|