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