C-logic

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 5.0/5 - ‎1 ‎投票

これは、シンボリックロジックに基づくCソースコードスキャナです。これは、プログラミングエラーと脆弱性についてCソースコード(特に、それが目的とするLinuxカーネルのコード)を分析します。テストはユーザーによって定義されます。

バージョン履歴

  • バージョン N/A に転記 2011-08-13
    いくつかの修正と更新
  • バージョン N/A に転記 2011-08-13

プログラムの詳細

  • カテゴリ: 開発 >
  • パブリッシャー: c-logic.sf.net
  • ライセンス: 無料
  • 価格: N/A
  • バージョン: Array
  • プラットフォーム: linux