2014-02-23 48 views
0

根据Splint FAQ夹板静态分析:找不到splint.rc配置文件(Windows)

对于Win32,夹板寻找splint.rc而不是.splintrc由于 DOS文件名限制。它会先在当前目录 ,然后在您的主目录中查找。

我已经建立了一个非常简单的测试,试图让夹板工作:

  • 步骤1:提取splint-3.1.1.win32.zipc:\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配置文件。

我在做什么错? 感谢

回答

0

在此期间,我得到它通过使用-f标志,包括它的工作:

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