首頁
PC軟體
Mac軟體
Linux軟體
Android App
iOS App
提交軟體
開發者 c-logic.sf.net
C-logic
免費
這是一個基於符號邏輯的 C 原始程式碼掃描程式。它分析C原始碼(特別是Linux內核的原始程式碼,其目標為它)的程式設計錯誤和漏洞。測試由使用者定義。