cil

CIL is a simplified, intermediate language for C. CIL makes a great frontend for C analysis, instrumentation, and compilation tools.