Oracle-guided component-based program synthesis

10 years 9 months ago
Oracle-guided component-based program synthesis
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synthesis from components using satisfiability modulo theories (SMT) solvers. Our approach is suitable for many applications, including as an aid to program understanding tasks such as deobfuscating malware. We demonstrate the efficiency and effectiveness of our approach by synthesizing bitmanipulating programs and by deobfuscating programs. Categories and Subject Descriptors
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashis
Added 19 Jul 2010
Updated 06 Mar 2013
Type Conference
Year 2010
Where ICSE
Authors Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
Comments (0)