BitBlaze: A new approach to computer security via binary analysis
Advanced Compiler Design and Implementation