文件名称：psychec：使用HaskelML样式类型推断启用C编译器前端
文件大小：762KB
文件格式：ZIP
更新时间：2024-02-20 06:03:41
c haskell cplusplus type-inference inference-engine
注意 Psyche项目正在一个私有分支机构进行大修，该分支机构（希望如此）将很快合并。 心理 PsycheC是C语言的编译器前端基础结构，已通过ML / Haskell样式（基于统一）类型推断引擎启用。 说明了PsycheC的基本功能。 应用范围： 对部分程序启用静态分析。 尽管#include失败，但仍支持语义工具。 编译代码段（例如，从错误跟踪器中检索）。 分别为一个函数生成测试输入数据。 没有类型说明的算法原型。 有创造力！ 要求 要建立PsycheC： 麦克马 C ++ 14编译器 Haskell堆栈 要使用PsycheC（下载）： Python 3 建造 cmake CMakeLists.txt make 配置 export PATH=$PATH:/path/to/psychec 使用 使用PsycheC的最简单方法是通过编译器适配器。 让我们来看一个例子。 考虑下面的文件node.c。 // node.c void f () { T v = 0 ; v-> value = 42 ; v-> next = v; } 如果要