Splint

軟件截圖:
Splint
軟件詳細信息:
版本: 3.1.1
上傳日期: 3 Jun 15
開發: David Evans
許可: 免費
人氣: 12

Rating: nan/5 (Total Votes: 0)

夾板是靜態檢查C程序的安全漏洞和錯誤的編程工具。
夾板做了很多傳統的皮棉檢查,包括未使用的聲明,類型不一致,使用定義之前,無法訪問的代碼,忽略返回值,執行路徑沒有返回,可能無限循環,並告吹的情況。
更強大的檢查在源代碼中的註釋給出更多的信息成為可能。註釋是程式化的評論關於函數,變量,參數和類型文件的假設。
除了由註解專門啟用支票,許多傳統的棉絨檢查都通過利用這個附加信息得到改善。
隨著越來越多的精力投入註釋方案,更完善的檢查結果。使用夾板代表性的努力收益曲線如圖1所示。
夾板的設計是靈活的,允許程序員選擇用於特定項目的工作量效益曲線上相應點。
作為不同的檢查被接通和被賦予在代碼的更多信息註解了可顯著地檢測出的增加的錯誤的數量。
通過檢測夾板存在的問題包括:

類似的軟件

otrace
otrace

20 Feb 15

python-ptrace
python-ptrace

11 May 15

PureTest
PureTest

11 May 15

pyrasite
pyrasite

14 Apr 15

意見 Splint

評論沒有發現
添加評論
打開圖片!