Automatic Reverse Engineering of Data Structures from Binary Execution
Convicting exploitable software vulnerabilities: An efficient input provenance based approach