【发布时间】:2011-11-09 09:12:03
【问题描述】:
可能重复:
What open source C++ static analysis tools are available?
有人知道 Linux 中用于 C++ 代码的开源、优秀的静态代码分析器吗? 这个想法是在代码进入代码审查状态之前捕获编程错误。 有可能在工具中添加规则会很棒。 有人知道这样的工具吗?
【问题讨论】:
标签: c++ linux open-source static-analysis
可能重复:
What open source C++ static analysis tools are available?
有人知道 Linux 中用于 C++ 代码的开源、优秀的静态代码分析器吗? 这个想法是在代码进入代码审查状态之前捕获编程错误。 有可能在工具中添加规则会很棒。 有人知道这样的工具吗?
【问题讨论】:
标签: c++ linux open-source static-analysis
【讨论】:
你可以试试pvs-studio:
http://www.viva64.com/en/pvs-studio/(1)
还有(bla-bla-lint): http://www.gimpel.com/html/index.htm(2)
关于 linux 的遗漏, (2) 中用于 C/C++ 的 FlexeLint 具有 linux 支持, (1) 仅适用于windows,只有当您的产品跨平台时才可以查看。
【讨论】:
您还可以使用插件(用 C 编码)或 MELT extensions(MELT 是一种用于扩展和自定义 GCC 的高级域特定语言)来自定义 GCC (4.6)。如果您有自己想要检查的编码规则,这种方法可能是合适的。但是,它确实需要一些工作。
【讨论】:
看看clang的静态分析器:http://clang-analyzer.llvm.org/
还有其他一些工具,例如基于 llvm 的 KLEE,可能也值得一看。
【讨论】: