CPAchecker: A Tool for Configurable Software Verification
Compilers: Principles, Techniques, and Tools