Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Author "Lahtinen, Eric"
Now showing items 1-6 of 6
-
Automatic Discovery and Patching of Buffer and Integer Overflow Errors
(2015-05-26)We present Targeted Automatic Patching (TAP), an automatic buffer and integer overflow discovery and patching system. Starting with an application and a seed input that the application processes correctly, TAP dynamically ... -
Automatic Error Elimination by Horizontal Code Transfer Across Multiple Applications
(2015-04-15)We present Code Phage (CP), a system for automatically transferring correct code from donor applications into recipient applications that process the same inputs to successfully eliminate errors in the recipient. Experimental ... -
Automatic Error Elimination by Multi-Application Code Transfer
(2014-10-02)We present pDNA, a system for automatically transfer- ring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient. Experimental results using six donor applications ... -
Automatic Error Elimination by Multi-Application Code Transfer
(2014-09-30)We present pDNA, a system for automatically transfer- ring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient. Experimental results using six donor applications ... -
Automatic Error Elimination by Multi-Application Code Transfer
(2014-08-11)We present pDNA, a system for automatically transferring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient. Experimental results using three donor applications ... -
Automatic Error Elimination by Multi-Application Code Transfer
(2014-10-02)We present Code Phage (CP), a system for automatically transferring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient. Experimental results using six donor ...
