C-logic

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 5.0/5 - ‎1 ‎評分

關於 C-logic

這是一個基於符號邏輯的 C 原始程式碼掃描程式。它分析C原始碼(特別是Linux內核的原始程式碼,其目標為它)的程式設計錯誤和漏洞。測試由使用者定義。