夹板：解析 for 循环中的错误

Question

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

夹板似乎不太符合 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 循环，我想知道是否有可用的补丁来解决这个问题。

Answer 1

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

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

由于在循环头中声明变量符合 C99 标准（并且是有争议的首选样式），因此在解决此问题之前，您应该避免使用夹板。