Splint

Splint 3.1.1

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