December 1, 1994

LCLint

Key Points

Key points are not available for this paper at this time.

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.

Connected Papers

Building similarity graph...

Analyzing shared references across papers

Cite This Study

Evans et al. (Thu,) studied this question.

synapsesocial.com/papers/6a152f0a79ff98d0de4e3657 https://doi.org/https://doi.org/10.1145/193173.195297

Discussion

Institutions

Advanced Research Projects Agency - Energy

References and Citations

Add This Paper to Your Research Feed

Any time a new paper drops it will be there.