我想在我的系统上运行splints整个程序分析。然而，系统非常大，并且使用不同的编译器定义和包含路径来编译不同的部分。我可以看到如何将这些信息传达给单个文件的夹板，但我无法弄清楚如何为整个程序执行此操作。有谁知道这样做的方法？
答案 0 :(得分：1)
假设您有一个Makefile，您可以创建一个新目标;那么你将使用Splint而不是编译器来完成实际的编译步骤复制。
然而，我的建议是反对全程式方法。如果您可以将系统隔离到单独的部分，我宁愿一个接一个地检查它们。由于您的程序“非常大”，因此需要为模块的每个提供大量警告...... 。一旦您使用适当的语义注释填充源代码，您将开始摆脱它们。祝好运！ ：）