LCLint: A Tool for Using Specifications to Check Code

David Evans, John Guttag, Jim Horning, and Yang Meng Tan
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]

CiteSeer Page

Splint Project Page