This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverā...
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
āFor a long time, dynamic tracing has been an enabling technique for reverse engineering tools. Tracing can not only be used to record the control ļ¬ow of a particular component...
Johannes Passing, Alexander Schmidt, Martin von L&...
Dynamic binary translation (DBT) is a powerful technique that enables ļ¬ne-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2Eās use in developing practical tools for comprehensive perfo...
Vitaly Chipounov, Volodymyr Kuznetsov, George Cand...