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...
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 |
Similar Items
-
Automatic Discovery and Patching of Buffer and Integer Overflow Errors
by: Sidiroglou-Douskos, Stelios, et al.
Published: (2015) -
Integer overflow discovery using goal-directed conditional branch enforcement
by: Rittenhouse, Nathan (Nathan W.)
Published: (2014) -
Sound Input Filter Generation for Integer Overflow Errors
by: Long, Fan, et al.
Published: (2013) -
Sound input filter generation for integer overflow errors
by: Long, Fan, et al.
Published: (2014) -
Automatic Error Elimination by Multi-Application Code Transfer
by: Sidiroglou-Douskos, Stelios, et al.
Published: (2014)