tool: LCLint


Language:
C (ANSI)
Version:
1.4
Parts:
code analysis tool
Author:
David E Evans <evs@larch.lcs.mit.edu>
Location:
ftp://larch.lcs.mit.edu/pub/Larch/lclint/
Description:
LCLint is a lint-like tool for ANSI C. It can be used like a traditional lint to detect certain classes of C errors statically; if formal specifications are also supplied, it can do more powerful checking to detect inconsistencies between specifications and code.
References:
http://larch-www.lcs.mit.edu:8001/larch/lclint.html
Ports:
OSF/1, Ultrix, SunOS, Solaris, Linux, IRIX
Updated:
October 16th, 1994

Related Items

language: C

category: C variants summary, or expanded.

category: compiled, imperative languages summary, or expanded.

category: compiler frontend/backend glue summary, or expanded.

category: educational summary, or expanded.

category: graphic user interface support summary, or expanded.

category: programming in the large summary, or expanded.

category: terminal graphics support summary, or expanded.

category: unix tool building summary, or expanded.


This work supported by Idiom Consulting. Idiom is a full-service ISP, providing Internet access in Northern California and Web hosting worldwide.

Please send updates to free-compilers@idiom.com

The HTML is maintained by David Muir Sharnoff and the entries themselves are currently maintained by Bryan Miller.

Copyright (c) 1992-1998 David Muir Sharnoff, All Rights Reserved
Copyright (c) 1994-1996, Steven Allen Robenalt, All Rights Reserved