C-logic

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

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

版本歷史記錄

  • 版本 N/A 發佈於 2011-08-13
    若干修復和更新
  • 版本 N/A 發佈於 2011-08-13

軟體細節