用于夹板的示例rc文件

Question

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

我的问题，

是否有一些可以使用的样本.splintrc文件？

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

Answer 1

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

我试图在IAR下的MSP430上使用splint并放弃，因为它在尝试处理编译器提供的硬件接口定义文件时抛出了警告和错误的数量。我咬了一口子并购买了Gimpel LINT，它附带了一些我可以修改的配置文件，以支持我正在使用的编译器和处理器的精确风格。

Answer 2

我从未与Splint合作，但曾与PC-Lint合作，这也是我的经验。如果没有编译器配置文件，lint工具将会产生大量错误。

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

然而，这是值得的。 Linting您的代码将帮助您现在发现错误，而不是在测试时发现它们更难以找到并且修复起来要昂贵得多。