Lclint: A tool for Using specifications to check code

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn Part F129497, Issue , 1994, Pages 87-96

  Evans, David ^b   Guttag, John ^b   Horning, James ^a   Tan, Yang Meng ^b  

^a HEWLETT PACKARD COMPANY   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

C; Larch; LCLint; Lint; Specifications; Static checking

Indexed keywords

CESIUM; FORMAL SPECIFICATION; SOFTWARE ENGINEERING; SPECIFICATIONS;

FLEXIBLE TOOL; INPUT PROGRAMS; LARCH; LCLINT; LEGACY CODE; LINT; STATIC CHECKING;

C (PROGRAMMING LANGUAGE);

EID: 85011293817     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/193173.195297     Document Type: Conference Paper

References (20)

1. The Ada programming language reference manual. ANSI/MIL-STD 1815A, US Department of Defense, US Government Printing Office, February 1983.
2. Dan Craigen. "Verification Environments", Software Engineer's Reference Book, edited by John A. McDer-mid, CRC Press, 1993.
3. Carolyn K. Duby and Scott Meyers and Steven P. Reiss. "CCEL: A Metalanguage for C++", USENIX C+ + Conference Proceedings, August 10-13, 1992.
4. David Evans. Using Specifications to Check Source Code, MIT/LCS/TR-628, MIT Laboratory for Computer Science, June 1994.
5. David Evans. LCLint User's Guide, Version 1.4. September 1994. Available in:
6. G. Feldman and J. Wild. "The DECspec project: tools for Larch/C", Proc. Fifth Int. Workshop on Computer-Aided Software Engineering, Montreal, Jul. 1992. Revised version in [12].
7. L. D. Fosdick and Leon J. Osterweil. "Data flow analysis in software reliability", ACM Computing Surveys, 8(3), September 1976.
8. J. V. Guttag and J. J. Horning with S. J. Garland, K. D. Jones, A. Modet, and J. M. Wing. Larch: Languages and Tools for Formal Specification, Springer-Verlag, 1993.
9. Daniel Jackson. Aspect: A formal specification language for detecting bugs, MIT/LCS/TR-543, MIT Laboratory for Computer Science, June 1992.
10. S. C. Johnson. Lint, a C Program Checker, Unix Documentation.
11. Barbara Liskov and John Guttag. Abstraction and Specification in Program Development, MIT EECS Series, MIT Press, 1986.
12. U. Martin and J. M. Wing. Proc. First Intl. Workshop on Larch, Dedham, Jul. 1992, Springer-Verlag, 1993.
13. Keith W. Miller, Larry J. Morell, and Fred Stevens. "Adding data abstraction to Fortran software", IEEE Software, November 1988.
14. James H. Morris, Jr. "Types are Not Sets", First ACM Symp. Principles of Programming Languages, Boston, Oct. 1973.
15. Greg Nelson, editor. Systems Programming with Modula-3. Prentice Hall, 1991.
16. Kurt M. Ölender and Leon J. Osterweil. "Interprocedural static analysis of sequencing constraints", ACM Transactions on Software Engineering and Methodology, 1(1), January 1992.
17. Dewayne E. Perry. "The logic of propagation in the Inscape environment", In Proceedings of the ACM SIG-SOFT'89 Third Symposium on Software Testing, Analysis, and Verification (TAV3), 1989.
18. Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley, 1986.
19. Yang Meng Tan. Formal Specification Techniques for Promoting Software Modularity, Enhancing Software Documentation, and Testing Specifications, MIT/LCS/TR-619, MIT Laboratory for Computer Science, June 1994.
20. Cindy Wilson and Leon J. Osterweil. "Omega-a data flow analysis tool for the C programming language." IEEE Transactions on Software Engineering, SE-11(9), September 1985.