APISan: Sanitizing {API} Usages through Semantic Cross-Checking
Thorough static analysis of device drivers