๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[ACM Press the 2nd ACM SIGSOFT symposium - New Orleans, Louisiana, United States (1994.12.06-1994.12.09)] Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94 - LCLint

โœ Scribed by Evans, David; Guttag, John; Horning, James; Tan, Yang Meng

Book ID
118215471
Publisher
ACM Press
Year
1994
Weight
954 KB
Volume
0
Category
Article
ISBN-13
9780897916912

No coin nor oath required. For personal study only.

โœฆ Synopsis

This paper describes LCLlnt, 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.

๐Ÿ“œ SIMILAR VOLUMES

[ACM Press the 12th ACM SIGSOFT twelfth
[ACM Press the 12th ACM SIGSOFT twelfth international symposium - Newport Beach, CA, USA (2004.10.31-2004.11.06)] Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering - SIGSOFT '04/FSE-12 - Correlation exploitation in error ranking
โœ Kremenek, Ted; Ashcraft, Ken; Yang, Junfeng; Engler, Dawson ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› ACM Press โš– 457 KB

Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easily render the error checker useless by hiding real errors amidst the false. Effective error report ranking schemes mitigat