Meta-Level Compilation - проект по выявлению опасных участков кода на этапе компиляции (xgcc)