Hacker News Reader

Frama-C uses CIL.

Well, Frama-C uses a quite modified version of CIL.

One thing that CIL allows is creating amalgamations - converting the whole program into a single C file that can be then compiled by GCC or other compilers.

See also https://melt.cs.umn.edu/ableC/ that has a similar goal.