靜態代碼分析的C++在Linux中

Question

可能重複：
What open source C++ static analysis tools are available?

是否有人知道一個開源的，良好的靜態代碼分析儀在Linux下C++代碼嗎？ 這個想法是甚至在代碼進入代碼審查狀態之前趕上編程錯誤。 能夠添加規則工具是非常好的。 有人知道這樣的工具嗎？

Answer 1

• 皮棉，發現這裏：http://en.wikipedia.org/wiki/Lint_(software)
• cppcheck，發現這裏：http://cppcheck.wiki.sourceforge.net/

Answer 2

看看clang的靜態analizer：http://clang-analyzer.llvm.org/

有基於像KLEE其他工具llvm，也許值得一看。

Answer 3

您還可以使用插件（用C編碼）或MELT extensions（MELT是擴展和定製GCC的高級域特定語言）來自定義GCC（4.6）。如果您有自己想要檢查的編碼規則，則此方法可能適合。但是，它確實需要一些工作。

Answer 4

你可以給一個嘗試PVS-演播室：

http://www.viva64.com/en/pvs-studio/（1）

也有（BLA-BLA-皮棉）： http://www.gimpel.com/html/index.htm（2）

關於Linux錯過了注， 來自（2）的FlexeLint for C/C++具有Linux支持， （1）僅適用於Windows，只有在您的產品跨平臺時纔可以檢查它。