Integer overflow discovery using goal-directed conditional branch enforcement

Integer overflow discovery using goal-directed conditional branch enforcement

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2014. === Cataloged from PDF version of thesis. === Includes bibliographical references (pages 67-68). === We present a new technique and system, DIODE, for automatically generating inp...

Full description

Bibliographic Details
Main Author: Rittenhouse, Nathan (Nathan W.)
Other Authors: Martin C. Rinard.
Format: Others
Language:English
Published: Massachusetts Institute of Technology 2014
Subjects:
Electrical Engineering and Computer Science.
Online Access:http://hdl.handle.net/1721.1/91865

Internet

http://hdl.handle.net/1721.1/91865

Similar Items