開發者 c-logic.sf.net

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