7

我使用夹板作为 c99 代码的静态分析器。

Splint 似乎不太符合 c99 标准。因此我应用了这个补丁: http ://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20080718/52cc25f6/attachment.obj

现在,由于声明不在顶部,我没有收到任何解析错误。

但是,如果我在 for 语句中放入变量声明,我仍然会在 for 循环中遇到解析错误。例如:

for(int i = 0; i < 10; i++)
{
}

一种解决方法是这样写:

int i;
    for(i = 0; i < 10; i++){
    }

但由于我不想调整我所有的 for 循环,我想知道是否有可用的补丁来解决这个问题。

4

1 回答 1

3

由于还没有答案,我只是引用了维基百科关于夹板文章的文章

Splint 最近的开发活动明显放缓。根据 SourceForge 的 CVS,截至 2009 年 1 月,存储库中的最新更改发生在 2008 年 8 月。2008 年全年只有两次对存储库的写入访问。维护者表示开发停滞不前,该项目需要新的志愿者。

由于在循环头中声明变量是符合 C99 的(并且有争议的首选风格),因此在解决此问题之前,您应该避免使用夹板。

于 2012-08-15T15:02:15.440 回答