夹板静态分析：找不到splint.rc配置文件（Windows）

Question

根据Splint FAQ：

  

对于Win32，Splint会查找splint.rc而不是.splintrc   DOS文件名限制。它将首先在当前目录中查找，   然后在你的主目录中。

我已经设置了一个非常简单的测试来尝试让Splint工作：

• 第1步：将splint-3.1.1.win32.zip提取到c:\splint

• 第2步：在c:\test\test.c中放入一个简单的程序：

  void main（void）{ }

• 第3步：运行“cmd”

• 步骤4：输入命令：cd c:\test\

然后我尝试使用splint，没有splint.rc，也没有标志

• 步骤5：输入命令`c：\ splint \ bin \ splint.exe test.c'

正如预期的那样，这会产生输出The function main does not output the expected type

然后我尝试使用splint，没有splint.rc和-maintype标志

• 步骤5：输入命令`c：\ splint \ bin \ splint.exe test.c -maintype'

正如预期的那样，输出不再产生The function main does not output the expected type。

然后我尝试使用splint，使用splint.rc，其中是-maintype标志

• 第5步：在c:\test\splint.rc中，我放了内容-maintype。
• 步骤5：输入命令`c：\ splint \ bin \ splint.exe test.c'

因为我在-maintype中输入了splint.rc，并且因为我正在从其中包含splint.rc的目录中运行splint命令，所以夹板不应该出现关于主要功能，但确实如此。我猜是splint没有拿起splint.rc配置文件。

我做错了什么？ 感谢

Answer 1

与此同时，我通过使用-f标志来实现它：

c:\splint\bin\splint.exe test.c -f splint.rc