Testing Closed-Source Binary Device Drivers with DDT
Reverse engineering of binary device drivers with RevNIC