frama-c在windows 7上的使用

我已从frame-c网站安装了windows installer的B版本

当我尝试运行val插件时，我得到一个关于预处理器varaible CPP未设置为如下的错误：

使用-cpp命令，我得到以下错误：

---

有任何线索/建议吗？

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

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

---

另一个更经常针对那些想要最后一个改进的Frama-C版本的人的建议是在Linux虚拟机中安装。这会让一切正常运转。默认路径中将有一个GCC，此GCC将使用命令行选项

-C

和

-E

进行预处理。您将使用与Frama-C的大多数用户和开发人员相同的环境。您也可以使用更新的版本

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 -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.