SymDrive: Testing Drivers without Devices
Linux kernel vulnerabilities: State-of-the-art defenses and open problems