9 lines
382 B
Plaintext
9 lines
382 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.
|
||
|
|
|
||
|
|
Check the LCLint home page at
|
||
|
|
http://larch-www.lcs.mit.edu:8001/larch/lclint/
|
||
|
|
for more information and complete documentation.
|