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.
No takes yet. Share an insight, caveat, or question.
Evans et al. (1994) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: