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