CPAchecker: A Tool for Configurable Software Verification
CIL: Intermediate language and tools for analysis and transformation of C programs