我希望对 Frama-C 开源项目进行一些试验,并希望在 Windows 7 机器上安装这些工具。看起来以前的版本有适用于 Windows 的二进制安装程序,但最新版本 Nitrogen 只提供源代码。项目网站frama-c.com说这些应该可用,但我没有在他们的下载页面上看到它们。二进制安装程序在其他地方可用吗?
最佳答案
您会发现 here安装 Frama-C Nitrogen 二进制版本的说明,这是撰写本文时的最新版本。它安装在旧版本的 Boron 之上,并将其升级为 Nitrogen。
关于ocaml - Frama-C Windows 二进制文件可用吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/8694976/