Static Analysis of Executables to Detect Malicious Patterns
Advanced Compiler Design and Implementation