In-Vivo Multi-Path Analysis.
In-Vivo Multi-Path Analysis
A Platform for In-Vivo Multi-Path Analysis of Software Systems.
Vitaly Chipounov, Volodymyr Kuznetsov, and Prof. George Candea of the I&C Dependable Systems Lab built a framework, called S2E, that enables a quick and easy implementation of complex multi-path analysis tools.
Using S2E, they developed DDTs, a device driver tester that found many bugs in Microsoft-certified proprietary closed-source drivers. They also built REVs, an automated tool for reverse engineering of closed-source device drivers and used it to port several network drivers to various platforms. Finally, S2E allowed them to build a novel multi-path performance profiler, that determined a performance envelope for the ping utility, and found a serious performance bug in it. More details can be found at http://dslab.epfl.ch/proj/s2e.