𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[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 - Testing static analysis tools using exploitable buffer overflows from open source code

✍ Scribed by Zitser, Misha; Lippmann, Richard; Leek, Tim

Book ID
118215466
Publisher
ACM Press
Year
2004
Weight
275 KB
Volume
0
Category
Article
ISBN-13
9781581138559

No coin nor oath required. For personal study only.

πŸ“œ 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

[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 - Modular design and verification of component-based mechatronic systems with online-reconfiguration
✍ Giese, Holger; Burmester, Sven; SchοΏ½fer, Wilhelm; Oberschelp, Oliver πŸ“‚ Article πŸ“… 2004 πŸ› ACM Press βš– 439 KB