Question

我已经从frame-c网站http://frama-c.com/download.html

安装了Boron版本的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.

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.

任何线索/建议？

Answer 1

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

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

对于那些想要最后一个改进的Frama-C版本的人来说，更常见的另一个建议是安装在Linux虚拟机中。这将使一切正常。默认路径中将存在GCC，此GCC将使用命令行选项-C和-E进行预处理。您将使用与Frama-C的大多数用户和开发人员相同的环境。你也可以有更新的版本。

Windows 7上的frama-c用法

1 个答案: