LCLint: A Tool for Using Specifications to Check Code

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.

• Type: Conference
• Year: 1994
• Where: SIGSOFT
• Authors: David Evans, John V. Guttag, James J. Horning, Yang Meng Tan
• Keywords: LCLint Reports Inconsistencies, Paper Describes Lclint, Re-engineer Legacy Code, SIGSOFT 1994, Software Engineering