Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
Jump to user comments
tool, programming 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 variables; undocumented modification of
client-visible state; inconsistent use of an uninitialised
formal parameter; or failure to initialise an actual