1996-12-11 17:51:22 -05:00
|
|
|
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.
|
|
|
|
|
1999-05-02 17:59:12 -04:00
|
|
|
WWW: http://www.sds.lcs.mit.edu/lclint/
|