By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
  Email this page to a friend


Lclint




<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 parameter.

Home (http://larch-www.lcs.mit.edu:8001/larch/lclint.html).



< Previous Terms Terms Containing lclint Next Terms >
LCC
lcc
LCD
LCF
LCL
lclint
LCP
LCS
ld
LDAP
LDB


Web Standards & Support:

Link to and support eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS!eLook.org FireFox Extensions