Sound input filter generation for integer overflow errors

DOI10.1145/2535838.2535888zbMath1284.68373OpenAlexW1991155991WikidataQ131112983 ScholiaQ131112983MaRDI QIDQ5408440

Stelios Sidiroglou-Douskos, Fan Long, 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

zbMATH Keywords

abstractionsoundnessinteger overflow

Mathematics Subject Classification ID

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

Uses Software

• Snugglebug

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