Testing Closed-Source Binary Device Drivers with DDT
Thorough static analysis of device drivers