LCLint: A Tool for Using Specifications to Check Code
In SIGSOFT Symposium on the Foundations of Software Engineering
December 1994
Abstract
This paper describes LCLint, an efficient and flexible tool that accepts as input programs (written in ANSI C) and various levels of formal specification. Using this information, LCLint reports inconsistencies between a program and its specification. We also describe our experience using LCLint to help understand, document, and re-engineer legacy code.
Keywords: C, Larch, LCLint, lint, specifications, static checking
Complete Paper (10 pages) [PDF], [PS]
