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.

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

Similar Items

Similar Items