分析工具,帮助您进行C开发

时间:2010-02-18 23:35:16

标签: c static-analysis

我刚刚开始学习C,我很难找到错误,内存泄漏等。哪些是帮助您找到这些东西的好工具?我听说过Valgrind,但还有其他人吗?

5 个答案:

答案 0 :(得分:2)

对我来说(在Linux上)有:

答案 1 :(得分:1)

如果您正在动态分配内存,那么您的程序可能已经过于复杂,无法做得非常好,但您可能会对Frama-C中的值分析感到好笑。如果您仍然感兴趣的话,请查看tutorialet并转到the manual中的教程章节。

答案 2 :(得分:1)

lint是经典的C静态分析工具。

答案 3 :(得分:1)

我怀疑它们的费用高于你愿意支付的费用,但Coverity和Klocwork都会严肃检查内存泄漏以及其他许多事情。

答案 4 :(得分:1)

Valgrind捕获了大量内存错误。它也错过了各种各样的东西,例如在本地阵列之外访问。我们的CheckPointer工具将在发生错误时捕获几乎所有类型的错误内存引用。请参阅网页上的比较表,了解Valgrind将无法捕获CheckPointer的更多内容。