Affiliation:
1. MIT Laboratory for Computer Science, and are supported in part by ARPA
2. James Horning can be reachedat the DEC Systems Research Center
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.
Publisher
Association for Computing Machinery (ACM)
Reference20 articles.
1. Carolyn K. Duby and Scott Meyers and Steven P. Reiss. "CCEL: A Metalanguage for C++ " USENIX C++ Conference Proceedings August 10-13 1992. Carolyn K. Duby and Scott Meyers and Steven P. Reiss. "CCEL: A Metalanguage for C++ " USENIX C++ Conference Proceedings August 10-13 1992.
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. RAPID: checking API usage for the cloud in the cloud;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18
2. Fyr;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08
3. [Research Paper] Automatic Checking of Regular Expressions;2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM);2018-09
4. A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code;2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2017-09
5. Stacy-static code analysis for enhanced vulnerability detection;Cogent Engineering;2017-01-01