我已经从frame-c网站http://frama-c.com/download.html安装了Boron版本的Windows安装程序
当我尝试运行val插件时，出现以下错误：预处理器variablesCPP未设置如下：
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命令我得到以下错误：
C:\Frama-C\bin>frama-c.exe -cpp-command 'C:\utils\cygwin\bin\gcc.exe -C -E -I. - xc' 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.
任何线索/build议？
以下是一个建议：由于预处理带来麻烦，请以任何方便的方式进行预处理，将预处理后的文件保存为.i文件。 然后通过Frama-C命令行传递.i文件：它将知道它不需要预先处理它们。
如果您将注释插入.c文件或想要更改预处理选项，请不要忘记重新生成.i文件。
对于那些想要最后改进的Frama-C版本的人来说，另一个建议是在Linux虚拟机中安装。 这将使一切正常工作。 在默认PATH中将会有一个GCC，这个GCC将采用命令行选项-C和-E进行预处理。 您将使用与Frama-C的大多数用户和开发人员相同的环境。 而且你也可以有一个更新的版本。