注意 Psyche项目正在一个私有分支机构进行大修，该分支机构（希望如此）将很快合并。 心理 PsycheC是C语言的编译器前端基础结构，已通过ML / Haskell样式（基于统一）类型推断引擎启用。 说明了PsycheC的基本功能。 应用范围： 对部分程序启用静态分析。 尽管#include失败，但仍支持语义工具。 编译代码段（例如，从错误跟踪器中检索）。 分别为一个函数生成测试输入数据。 没有类型说明的算法原型。 有创造力！ 要求 要建立PsycheC： 麦克马 C ++