资料来源 : Free On-Line Dictionary of Computing
lclint
A lint-like {ANSI C} source checker from
{MIT}. If formal specifications are supplied (in a separate
file), lclint can do more powerful checking to detect
inconsistencies between specifications and code. Adding
specifications enables further checking, types can be defined
as {abstract} and lclint can detect inconsistent use of
{global variable}s; undocumented modification of
client-visible state; inconsistent use of an uninitialised
{formal parameter}; or failure to initialise an actual
parameter.
{Home (http://larch-www.lcs.mit.edu:8001/larch/lclint.html)}.
(1995-05-11)