Linux中的C ++静态代码分析器

时间:2011-11-09 09:12:04

标签: c++ linux open-source static-analysis

  

可能重复:
  What open source C++ static analysis tools are available?

有人知道Linux中用于C ++代码的开源,良好的静态代码分析器吗? 这个想法是在代码进入代码审查状态之前捕获编程错误。 有可能为工具添加规则会很棒。 有人知道这样的工具吗?

4 个答案:

答案 0 :(得分:5)

答案 1 :(得分:3)

你可以尝试一下pvs-studio:

http://www.viva64.com/en/pvs-studio/(1)

还有(bla-bla-lint): http://www.gimpel.com/html/index.htm(2)

错过关于linux的说明, 来自(2)的FlexeLint for C / C ++有linux支持, (1)仅适用于Windows,只有在产品跨平台时才能检查。

答案 2 :(得分:2)

查看clang的静态分析器:http://clang-analyzer.llvm.org/

基于llvm的其他工具如KLEE,也值得一看。

答案 3 :(得分:2)

您还可以使用插件(用C编码)或GCC来自定义MELT extensions(4.6)(MELT是一种用于扩展和自定义GCC的高级域特定语言)。如果您有自己想要检查的编码规则,这种方法可能是合适的。但是,它确实需要一些工作。