mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-14 23:46:10 +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.
|