Howard: A Dynamic Excavator for Reverse Engineering Data Structures
Compilers: Principles, Techniques, and Tools