| lclint A lint-like source checker from . 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 and lclint can detect inconsistent use of s; undocumented modification of client-visible state; inconsistent use of an uninitialised ; or failure to initialise an actual parameter. {Home (http://larch-www.lcs.mit.edu:8001/larch/lclint.html)} (1995-05-11) |