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