Methodology for reverse engineering Windows drivers, finding vulnerabilities and understanding their exploitability.| VoidSec