c - 夹板的示例 rc 文件

Question

我正在使用夹板进行代码检查，它会抛出大量警告。其中一些，我想可以忽略不计。我正在通过反复试验创建 .splintrc 。

我的问题，

是否有一些可以使用的示例 .splintrc 文件？

我正在为 C 代码使用夹板，为多任务嵌入式系统编写。

Answer 1

这可能不是最大的帮助，但我认为您需要提供更多关于您收到的错误消息类型和您正在使用的目标处理器/编译器的信息。嵌入式目标处理器的不同编译器都有自己的语法来提供它们的特定功能（中断处理、转移到监督模式和硬件接口就是例子）

我曾尝试在 IAR 下的 MSP430 上使用夹板，但由于它在尝试处理编译器提供的硬件接口定义文件时抛出的警告和错误的数量而放弃了。我硬着头皮购买了 Gimpel LINT，它附带了一些配置文件，我可以对其进行修改以支持我正在使用的编译器和处理器的精确风格。

Answer 2

我从未使用过 Splint，但使用过 PC-Lint，这也是我的经验。如果没有编译器配置文件，lint 工具会抛出大量错误。

您将需要为您的编译器找到或创建编译器特定的配置文件，通知 linting 工具它使用的特殊（非标准）C 构造和宏，linting 工具应该忽略这些，否则您将继续抛出大量的错误。

然而，这是值得的。Linting 代码将帮助您立即发现错误，而不是在测试期间发现错误，因为它们更难找到且修复成本更高。