我希望对 Frama-C 开源项目进行一些试验，并希望在 Windows 7 机器上安装这些工具。看起来以前的版本有适用于 Windows 的二进制安装程序，但最新版本 Nitrogen 只有可用的源代码。该项目的网站frama-c.com说这些应该是可用的，但我没有在他们的下载页面上看到它们。二进制安装程序在其他地方可用吗？
问问题
2009 次
我希望对 Frama-C 开源项目进行一些试验，并希望在 Windows 7 机器上安装这些工具。看起来以前的版本有适用于 Windows 的二进制安装程序，但最新版本 Nitrogen 只有可用的源代码。该项目的网站frama-c.com说这些应该是可用的，但我没有在他们的下载页面上看到它们。二进制安装程序在其他地方可用吗？
您将在此处找到安装 Frama-C Nitrogen 二进制版本的说明，这是撰写本文时的最新版本。它安装在旧版本 Boron 之上，并将其升级为 Nitrogen。