在Windows 7上使用frama-c

Question

我已經從frame-c網站http://frama-c.com/download.html安裝了Windows安裝程序的Boron版本。

當我嘗試運行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. - 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. 

有任何線索/建議嗎？

Answer 1

這是一個建議：由於預處理會引起麻煩，因此請以對您方便的任何方式進行預處理，並將預處理后的文件另存為.i文件。 然后在Frama-C命令行上傳遞.i文件：它將知道它不需要進行預處理。

如果您在.c文件中插入批注或要更改預處理選項，請不要忘記重新生成.i文件。

---

對於想要最后一個改進的Frama-C版本的用戶來說，另一個更常見的建議是在Linux虛擬機中安裝。 這將使一切正常工作。 默認PATH中會有一個GCC，並且該GCC將使用命令行選項-C和-E進行預處理。 您將使用與Frama-C的大多數用戶和開發人員相同的環境。 您也可以使用更新的版本。