LCLint: A Tool for Using Specifications to Check Code

David E. Evans, John V. Guttag, James J. Horning, Yang Meng Tan

PDF DOI 10.1145/193173.195297 dblp

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.

BibTeX

@inproceedings{Evans-al:FSE94,
  author    = {David E. Evans and
               John V. Guttag and
               James J. Horning and
               Yang Meng Tan},
  title     = {{LCLint:} A Tool for Using Specifications to Check Code},
  booktitle = {FSE},
  pages     = {87--96},
  publisher = {{ACM}},
  year      = {1994},
}

LCLint: A Tool for Using Specifications to Check Code

Abstract

Related papers