Automatic Reverse Engineering of Data Structures from Binary Execution
Mapping kernel objects to enable systematic integrity checking