Lclint

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  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)