Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement

Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement

We present a new technique and system, DIODE, for auto- matically generating inputs that trigger overflows at memory allocation sites. DIODE is designed to identify relevant sanity checks that inputs must satisfy to trigger overflows at target memory allocation sites, then generate inputs that satis...

Full description

Bibliographic Details
Main Authors: Sidiroglou-Douskos, Stelios, Lahtinen, Eric, Piselli, Paolo, Long, Fan, Kim, Deokhwan, Rinard, Martin C., Rittenhouse, Nathan (Nathan W.)
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:en_US
Published: Association for Computing Machinery (ACM) 2015
Online Access:http://hdl.handle.net/1721.1/96155
https://orcid.org/0000-0002-6232-3118
https://orcid.org/0000-0001-8195-4145
https://orcid.org/0000-0001-8095-8523

Internet

http://hdl.handle.net/1721.1/96155
https://orcid.org/0000-0002-6232-3118
https://orcid.org/0000-0001-8195-4145
https://orcid.org/0000-0001-8095-8523

Similar Items