Gimpel的PC-lint和Flexelint;谁用过它们？

Question

所以我读了一些杂志文章和Gimpel的PC-lint和Flexelint C / C ++编译器的网站。

它真的很贵（至少对我而言），但似乎可能有一些保证成本的优点。

所以我想知道是否有其他人使用过它们并且可以提供他们的意见？

Answer 1

我以前习惯使用PC-Lint。我个人认为值得投资。您问题的部分答案取决于其他一些因素：

1。）您是否尝试将编译器警告级别调高到最高级别？非常烦人，但这有捕捉任何明显的语义错误的效果。在投资PC-Lint等专业工具之前，我会这样做

2。）你在为谁编码？如果这是学校的家庭作业，那就不值得了。如果它是向其他人销售的软件，那么在生产干净稳定的代码方面是一项很好的投资。

请注意，与任何工具一样，学习有效使用PC-Lint可能需要一些时间。

Answer 2

我刚刚将Gimpel的PC-Lint添加到构建过程中。这是一个困难的配置，但绝对值得。我曾经在几个不同的项目中使用相同的linting工具工作了几年。静态代码检查工具有助于检查编译器不会检查的各种错误，即使编译器的警告设置为最高（最严格）级别。

此外，Gimpel的工具支持MISRA（以及针对不同版本的ANSI C的特定规则）。

我同意Onorio Catenacci的意见，如果你正在做家庭作业，那不值得付出代价。但是，如果它是一个更强大的构建过程，Lint将帮助您在开发周期的早期发现错误，这使它值得。

Answer 3

我在1985年使用了Gimpel的棉绒和其他产品，并且是一个非常满意的客户。我有一个兼职咨询工具，Gimpel的工具使我能够更快地提供更可靠的组件。

我不知道25年来事态的相对状况如何变化。我很高兴看到至少在Unix上，Gimpel仍在分发混淆的源代码。

Answer 4

这不是您提出的问题的答案，但如果您正在考虑使用一种商业静态分析工具，您可能也应该考虑其他公司的静态分析工具。例如，见are-c-static-code-analyis-tools-worth-it?。我建议在问题中添加“静态分析”标签。