Sound input filter generation for integer overflow errors

DOI10.1145/2535838.2535888zbMATH Open1284.68373OpenAlexW1991155991WikidataQ131112983 ScholiaQ131112983MaRDI QIDQ5408440FDOQ5408440

Authors: Fan Long, Stelios Sidiroglou-Douskos, Deok-Hwan Kim, Martin C. Rinard 

Publication date: 10 April 2014

Published in: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2535838.2535888

Recommendations

• A light-weight and accurate method of static integer-overflow-to-buffer-overflow vulnerability detection
• Automatic repair of overflowing expressions with abstract interpretation
• scientific article; zbMATH DE number 1832225
• Scalable error detection using Boolean satisfiability
• Programming Languages and Systems

zbMATH Keywords

abstractionsoundnessinteger overflow

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Cited In (3)

• A light-weight and accurate method of static integer-overflow-to-buffer-overflow vulnerability detection
• FFFuzzer: filter your fuzz to get accuracy, efficiency and schedulability
• On converting character strings to integers

Uses Software

• Snugglebug

This page was built for publication: Sound input filter generation for integer overflow errors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408440)