Estimating types in binaries using predictive modeling
Thorough static analysis of device drivers