splint：解析for循环中的错误

Question

我使用splint作为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循环，我想知道是否有可用的补丁来解决这个问题。

Answer 1

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

  

Splint最近的开发活动显着放缓。   根据SourceForge的CVS，截至2009年1月最多   最近仓库的变化发生在2008年8月。全年   2008只有两次对存储库的写访问。维护者有   说发展停滞不前，项目需要新的   志愿者。

由于在循环头中声明变量符合C99（并且可以说是更好的样式），因此在修复之前应该克制夹板。