๐”– 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
118215470
Publisher
ACM Press
Year
1994
Weight
954 KB
Volume
0
Category
Article
ISBN-13
9780897916912

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[ACM Press the 2nd ACM SIGSOFT symposium
[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
โœ Evans, David; Guttag, John; Horning, James; Tan, Yang Meng ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› ACM Press โš– 954 KB

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 he

[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