Hi, We would like to draw your attention to two new papers from our group that will appear in EuroSys 2010. ?Both of these papers build on Klee, so you may find them interesting.
Reverse Engineering of Binary Device Drivers with RevNIC?( http://dslab.epfl.ch/pubs/revnic ) describes a tool that takes?a closed-source binary driver, automatically reverse engineers its logic, and synthesizes a new driver that implements the exact same hardware protocol as the original driver.?The synthetic driver can be targeted for a different OS or the same OS. Execution Synthesis: A Technique for Automated Software Debugging?( http://dslab.epfl.ch/pubs/esd ) describes a technique that takes a program + a bug report and automatically produces an explanation and an execution of the program that leads to the reported bug symptoms. Best regards, Cristi
