我想在我的系统上运行夹板整个程序分析。然而，系统非常大，不同的部分使用不同的编译器定义和包含路径进行编译。我可以看到如何将此信息传达给单个文件的夹板，但我不知道如何为整个程序执行此操作。有谁知道这样做的方法？
最佳答案
假设您有 Makefile您可以创建一个新目标；那么您将通过实际的编译步骤使用 Splint 而不是编译器来复制它们。
然而，我的建议是 反对全程序方法。如果您可以将系统隔离为单独的部分，我宁愿从一一检查开始。由于您的程序“相当大”，因此您的每个模块都会收到大量警告......一旦你在源代码中添加了适当的语义注释，你就会开始摆脱它们。祝你好运! :)
关于c - 用复杂的构建过程夹板整个程序，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/2114259/