| C (ANSI) | |
| 1.4 | |
| code analysis tool | |
| David E Evans <evs@larch.lcs.mit.edu> | |
| ftp://larch.lcs.mit.edu/pub/Larch/lclint/ | |
| 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. | |
| http://larch-www.lcs.mit.edu:8001/larch/lclint.html | |
| OSF/1, Ultrix, SunOS, Solaris, Linux, IRIX | |
| October 16th, 1994 |
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.
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