2012-04-21 66 views
4

我正在使用夾板作爲c99代碼的靜態分析器。splint:for循環中的解析錯誤

Splint似乎不符合c99標準。因此,我已經應用這個補丁: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20080718/52cc25f6/attachment.obj

現在我沒有得到任何解析錯誤由於申報不beeing在上面。

但我仍然得到解析錯誤在for循環,如果我把for語句聲明一個變量。 例如:

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

一種解決方法是把它寫這樣的:

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

但我不想去適應所有的for循環,我想知道是否有可用的補丁,它解決了這個問題。

+2

如果沒有我真的希望你不要修改你的代碼只是爲了讓夾板開心。 – ThiefMaster 2012-04-21 09:00:41

+0

我沒有得到您的評論。 – tobias 2012-04-21 09:37:18

+0

那麼,你寧願忽略來自夾板的抱怨,而不是修改你的代碼來保持它的快樂,即使它讓你的代碼變得更糟。 – ThiefMaster 2012-04-21 09:37:45

回答

2

由於沒有答案,我只是引述上夾板article維基百科的文章

上夾板最近開發活動已經顯著放緩。 根據SourceForge的CVS,截至2009年1月,存儲庫中最近的更改爲2008年8月。2008年全年只有兩次對存儲庫的寫入訪問。維護者有 表示發展停滯不前,項目需要新的志願者 。

由於在循環頭部聲明變量是C99標準(和argueable最好方式),你應該避免夾板直到這是固定的。