根据Splint FAQ:夹板静态分析:找不到splint.rc配置文件(Windows)
对于Win32,夹板寻找splint.rc而不是.splintrc由于 DOS文件名限制。它会先在当前目录 ,然后在您的主目录中查找。
我已经建立了一个非常简单的测试,试图让夹板工作:
- 步骤1:提取
splint-3.1.1.win32.zip
到c:\splint
第2步:在
c:\test\test.c
把一个简单的程序:无效的主要(无效){ }
步骤3:茹N “CMD”
- 第4步:输入命令:
cd c:\test\
然后我尝试用夹板固定,无splint.rc,而没有使用标志
- 第5步:输入命令`c:\ splint \ bin \ splint.exe test.c'
正如所料,这产生了输出The function main does not output the expected type
然后我尝试用夹板固定,无splint.rc和-maintype标志
- 第5步:输入命令'C:\夹板\ BIN \ splint.exe测试。 c -maintype'
如预期的那样,输出不再产生The function main does not output the expected type
。
然后我尝试用夹板,用splint.rc,其内是-maintype标志
- 第5步:在
c:\test\splint.rc
我把内容-maintype
。 - 第5步:输入命令'C:\夹板\ BIN \ splint.exe test.c的”
因为我在splint.rc
进入-maintype
,因为我正在从具有目录夹板命令splint.rc
,夹板不应该提出关于主要功能的警告,但它确实如此。我猜测splint没有选择splint.rc配置文件。
我在做什么错? 感谢