Frama-C: A software analysis perspective
CIL: Intermediate language and tools for analysis and transformation of C programs