mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-15 23:50:44 +00:00
ba8ea5d95e
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/
Closes-PR: ports/1646
Submitted by: Stefan Moeding <moeding@bn.DeTeMobil.de>
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.
|