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