David Evans, John Guttag, James Horning, and Yang Meng Tan  Home/Search
Context Related
| mit.edu/~jchapin/6853...larchlclint.ps mit.edu/pub/lclint/fse94.ps.gz mit.edu/~evs/fse94.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mit.edu/~jchapin/68...readinglist (more) From: mit.edu/~evs/pubs Homepages: D.Evans |
Rate this article:      (best)Comment on this article |
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. Keywords: C, Larch, LCLint, lint, specifications, static checking 1 Introduction Software engineers have long understood that static analysis of ... (Update)
Cited by: More
Policy and Implementation Assurance for Software Security - Wilander (2005) (Correct)
Buffer Overflow and Format String Overflow Vulnerabilities - Lhee, Chapin (2002) (Correct)
Type-Assisted Dynamic Buffer Overflow Detection - Lhee, Chapin (2002) (Correct)
Active bibliography (related documents): More All
0.6: Using Specifications to Check Source Code - Evans (1994) (Correct)
0.3: Using Dynamic Sets to Speed Search in World Wide Information.. - Steere (1995) (Correct)
0.3: Exploiting the Non-Determinism and Asynchrony of Set Iterators to .. - Steere (1997) (Correct)
Similar documents based on text: More All
0.8: Splint Manual - Evans (2002) (Correct)
0.3: Static Error Checking of C Applications Ported from UNIX to.. - Thesis In Tcc (Correct)
0.3: Detecting Memory Errors via Static Pointer Analysis.. - Dor, Rodeh, Sagiv (1998) (Correct)
Related documents from co-citation: More All
16: Static detection of dynamic memory errors - Evans - 1996
14: An overview of the Extended Static Checking system - Detlefs - 1996
14: Stackguard: Automatic adaptive detection and prevention of buffer-overflow attac.. - Cowan, Pu et al. - 1998
BibTeX entry: (Update)
D. Evans, J. Guttag, J. Horning, and Y. M. Tan. LCLint: A tool for using specifications to check code. In Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM, December 1994. http://citeseer.ist.psu.edu/evans94lclint.html More
@inproceedings{ david94lclint,
author = "Evans, David and Guttag, John and Horning, James and Tan, Yang Meng",
title = "{LCL}int: A Tool for Using Specifications to Check Code",
booktitle = "Proceedings of the {ACM} {SIGSOFT} '94 Symposium on the Foundations of Software Engineering",
pages = "87-96",
year = "1994",
url = "citeseer.ist.psu.edu/evans94lclint.html" }
Citations (may not include all citations):461 Programming Language (context) - Stroustrup - 1986
268 Larch: Languages and Tools for Formal Specification (context) - Guttag, with et al. - 1993
89 Systems Programming with Modula (context) - Nelson - 1991
24 Interprocedural static analysis of sequencing constraints (context) - Olender, Osterweil - 1992
17 The logic of propagation in the Inscape environment - Perry - 1989
17 CCEL: A Metalanguage for C - Duby, Meyers et al. - 1992
15 Types are Not Sets (context) - Morris - 1973
15 LCLint User's Guide (context) - Evans - 1994
14 Formal Specification Techniques for Promoting Software Modul.. (context) - Tan - 1994
12 Using Specifications to Check Source Code - Evans - 1994
8 Aspect: A formal specification language for detecting bugs (context) - Jackson - 1992
3 MIT EECS Series (context) - Liskov, Guttag et al. - 1986
2 Adding data abstraction to Fortran software (context) - Miller, Morell et al. - 1988
1 Data flow analysis in software reliability (context) - FosdickandLeon, Osterweil - 1976
1 Unix Documentation (context) - Johnson, Checker
1 The DECspec project: tools for Larch/C (context) - Feldman, Wild - 1992
1 Verification Environments (context) - Craigen - 1993
1 US Government Printing Office (context) - programming, manual et al. - 1983
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://sdg.lcs.mit.edu/~jchapin/6853/readinglist.html):
On μ-Kernel Construction - Liedtke (1995) (Correct)
ANTS: A Toolkit for Building and Dynamically.. - Wetherall, Guttag.. (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC