对于加速静态分析工具PC-Lint有什么建议吗？有使用.LOB文件的经验吗？

Question

我有兴趣了解影响PC-lint时间的主要因素。我知道有几个，比如-passes(#)，它会增加PC-Lint所需的时间(线性增加？)或者减少输出的消息不会影响布线时间。我希望通过让你们中一位对lint更有经验的人列出他们遇到的影响lint时间的主要因素来验证我对lint性能的理解。

另外，你们中有谁有使用.lob文件和PC-Lint的经验。你觉得它对脱绒时间的影响有多大？

Answer 1

我得到的主要加速是当我开始将Lint的有时很大的输出重定向到一个文件，而不是Windows上的常规DOS框，然后在编辑器中查看文件。如果通过次数足够多，-passes选项几乎可以线性地增加时间，但当使用2或3时就不是这样了，因为除了第一次通过之外，不需要预先处理/解析阶段。根据我的经验，对于非常大的项目，外部包含守卫，或者(微软)选项+pragma(once,once) --如果一直使用#pragma once --可能会带来巨大的速度提升。在一个项目中，我将编译时间减少了20多倍，而编译时间只减少了一点点……

使用.lob文件就像编译到对象，然后链接对象:这取决于makefile的效率，而速度的提高取决于您刚刚更改了多少和哪些文件。但是请注意，使用.lob文件并不像一次性处理所有文件那样彻底；必须忽略一些问题，因为.lob文件只包含源文件的表示形式。