This page collects some of the more interesting links related to LCLint
and static checking.
Find New Links
Search web for more links (use AltaVista,
Search usenet for recent postings (using
MIT Larch Page
Horning's Larch Page
A Larch Interface Language for C++ developed by Gary Leavens
and others at Iowa State.
Currently there is nothing equivalent to LCLint for Larch/C++.
Project at DEC Systems
Research Center using theorem proving technology to enable extensive
static checking in Java and Modula-3.
ADL is a formal specification language for C programs. The ADLT tool
can be used to automate testing using an ADL specification. They like
to make unfounded claims about it being the first every practical
Verification mailing list
Static Checking Tools
Some commercial tools have been developed
that focus on static checking, some can be used to check for conformance
to various standards.
compile-time and run-time checking. It incorporates checks based on
Scott Meyer's "Effective C++" books.
Knowledge Software's Open Systems Protability Checker
McCabe & Associates offer a
suite of tools and methodology that will assist software developers with
software quality assurance, software testing, software reengineering and
Year 2000 efforts.
Parasoft's Code Wizard is a
source code analysis tool for C++, also based on Scott Meyer's books.
Intrinsa's Software Component
Simulation uses simulation to detect software defects.
Programming Research offers QA/C, a static
checking tool including code metrics. The web site includes a list of
notorious software bugs.
Dynamic Checking Tools
LCLint hopes to extend the scope of what
is checked statically, but there are many types of errors that are still
only detectable at run-time. Several commercial and research tools
focus on detecting dynamic memory errors are run-time.
CenterLine's C++Expert also
does run-time memory checking.
Scott Meyer's "Effective C++" books.
Great Circle is a glorified
Numega's Bounds Checker
Pure Software's Purify
Some other tools are listed at Ben Zorn's Debugging
Tools for Dynamic Storage Allocation page
The National Physical
Laboratory of the United Kingdom offers a ISO C validation service
using a Model
Implementation C Checker. It uses both static and dynamic checking.
Links to some publications and web pages that reference LCLint.
David Hanson's book
C Interfaces and
Implementations advocates a design methodology based on interfaces
and implementations very similar to that supported by LCLint.
However, if more C programmers read, understood, and imitated this
book, the world would be a better and safer place.
--- From Richard O'Keefe's review
C Frequently Asked Questions (also published as a book by
Addison-Wesley in 1995) Note the LCLint information is out-of-date, but
the C FAQ is no longer being updated.
LCLint is also mentioned in its evil
twin, the comp.lang.c
Infrequently Asked Questions file (unfortunately, the entry for
LCLint hasn't been true since before Version 2.0, but I'm counting on
them to come up with a more suitable entry in the next edition.)
Linux Frequently Asked Questions
Linux GCC FAQ
Catalog of Free Compilers and Interpreters
The German Linux magazine, Ix,
includes LCLint in an article, Lint als C-Syntax-Prufer
in the July 96 issue.
These courses either use (or used) LCLint in a programming lab, or
include LCLint technical papers. If you know of any other courses that
should be listed here, please let me know.
programming lab at the Imperial
College of Science, Technology and Medicine, University of London.
Steve Linton's lectures on Larch at University of St. Andrews, Scotland.
Daniel Jackson's Tractable Representations for Software Development course at Carnegie Mellon.
l2D5333 Programverifiering, kursuppläggning at the
Royal Institute of Technology, Stockholm.
at Uppsala University in Sweden.
Databehandlingslaboratorium at the University of Oslo.
Richard O'Keefe's Systems
Programming 1 course at RMIT
University in Melbourne, Australia.
Lysator Programming in C (under Other Sources)
Association of C
and C++ Users
Free On-Line Dictionary of Computing
US Department of Agriculture, Information Technology Center
R. Nassif's Programming Page
Modern Web Programming
Sterling Software Archives
Ecole Nationale Supirieure de Techniques Avancies, in Unix Programming
Goodies in unix programming
If you maintain a site which you think belongs here, let me know.
Software Devices and Systems