LCLint: A Tool for Using Specifications to Check Code

13 years 8 months ago

Download www.cs.virginia.edu

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.

David Evans, John V. Guttag, James J. Horning, Yan

Real-time Traffic

LCLint Reports Inconsistencies | Paper Describes Lclint | Re-engineer Legacy Code | SIGSOFT 1994 | Software Engineering |

claim paper

» Trio2Promela A Model Checker for Temporal Metric Specifications

» Composable specifications for structured sharedmemory communication

» Enhanced Property Specification and Verification in BLAST

» Checking SessionOriented Interactions between Web Services

» Unifying type checking and property checking for lowlevel code

» UnitCheck Unit Testing and Model Checking Combined

» XMI2USE A Tool for Transforming XMI to USE Specifications

» From Uncertainty to Belief Inferring the Specification Within

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1994
Where	SIGSOFT
Authors	David Evans, John V. Guttag, James J. Horning, Yang Meng Tan

Comments (0)

Sciweavers

LCLint: A Tool for Using Specifications to Check Code

LCLint Reports Inconsistencies | Paper Describes Lclint | Re-engineer Legacy Code | SIGSOFT 1994 | Software Engineering |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers