這是一個基於符號邏輯的 C 原始程式碼掃描程式。它分析C原始碼(特別是Linux內核的原始程式碼,其目標為它)的程式設計錯誤和漏洞。測試由使用者定義。
版本歷史記錄
- 版本 N/A 發佈於 2011-08-13
若干修復和更新 - 版本 N/A 發佈於 2011-08-13
軟體細節
- 軟體分類: 發展 > 其他
- 發佈者: c-logic.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: Array
- 作業系統: linux
這是一個基於符號邏輯的 C 原始程式碼掃描程式。它分析C原始碼(特別是Linux內核的原始程式碼,其目標為它)的程式設計錯誤和漏洞。測試由使用者定義。