3

我想在我的系统上运行夹板整个程序分析。然而，系统非常大，不同的部分使用不同的编译器定义和包含路径进行编译。我可以看到如何将此信息传达给单个文件的夹板，但我不知道如何为整个程序执行此操作。有谁知道这样做的方法？

4

1 回答 1

1

假设你有一个Makefile你可以创建一个新目标；然后您将通过实际的编译步骤使用 Splint 而不是编译器来复制它们。

然而，我的建议是反对全程序方法。如果您可以将系统隔离为单独的部分，我宁愿从一一检查开始。由于您的程序“相当大”，因此您的每个模块都会收到大量警告...... 一旦您在源代码中添加了适当的语义注释，您将开始摆脱它们。祝你好运！:)

于 2011-05-18T14:02:53.893 回答