1

我已经从 frame-c 网站http://frama-c.com/download.html安装了硼版的 windows 安装程序

当我尝试运行 val 插件时，我收到关于未设置预处理器变量 CPP 的错误，如下所示： 

C:\Frama-C\bin>frama-c.exe -val filename.cpp
[kernel] user error: failed to run: gcc -C -E -I.  -o "C:\Users\akandoor\AppData\Local\Temp\filename.cpp4f5d23.i" "filename.cpp"
you may set the CPP environment variable to select the proper preprocessor command or use the option "-cpp-command".
[kernel] user error: skipping file "filename.cpp" that has errors.
[kernel] Frama-C aborted because of an invalid user input.

使用 -cpp-command 我收到以下错误： 

C:\Frama-C\bin>frama-c.exe -cpp-command 'C:\utils\cygwin\bin\gcc.exe -C -E -I. -
x c' filename.cpp
[kernel] user error: option `-C' is unknown.
                     use `frama-c.exe -help' for more information.
[kernel] Frama-C aborted because of an invalid user input.

任何线索/建议？

4

1 回答 1

1

这里有一个建议：由于预处理会造成麻烦，请以任何方便的方式进行预处理，将预处理文件保存为 .i 文件。然后在 Frama-C 命令行上传递 .i 文件：它会知道它不需要对它们进行预处理。

如果您在 .c 文件中插入注释或想要更改预处理选项，请不要忘记重新生成 .i 文件。

另一个更常向想要最后一个改进的 Frama-C 版本的人提出的建议是安装在 Linux 虚拟机中。这将使一切正常工作。默认 PATH 中会有一个 GCC，这个 GCC 将采用命令行选项-C并-E进行预处理。您将使用与 Frama-C 的大多数用户和开发人员相同的环境。你也可以有一个更新的版本。

于 2014-03-12T21:22:33.140 回答