2006-12-12 CIL (C Intermediate Language) http://manju.cs.berkeley.edu/cil/ http://sourceforge.net/projects/cil 「Cのソースコードをparseして、比較的簡単な中間言語に変換するOCamlのライブラリ」だそうです。 via http://d.hatena.ne.jp/sumii/20061212/p1