0

我正在将Splint用于一个中等规模的项目。一切都很好，但我们现在正试图将级别从“弱”提升到“检查”。因为我们是一个一个地检查文件，所以 Splint 会抱怨未定义的函数。我似乎记得 Splint 可以选择单独分析多个文件，然后对所有文件进行最终分析（编译 + 链接样式）。

我在手册和一般谷歌搜索中都找不到有关如何执行此操作的任何信息。

这可能吗？

4

0 回答 0