Decaf: Moving Device Drivers to a Modern Language
CIL: Intermediate language and tools for analysis and transformation of C programs