これは、シンボリックロジックに基づくCソースコードスキャナです。これは、プログラミングエラーと脆弱性についてCソースコード(特に、それが目的とするLinuxカーネルのコード)を分析します。テストはユーザーによって定義されます。
バージョン履歴
- バージョン N/A に転記 2011-08-13
いくつかの修正と更新 - バージョン N/A に転記 2011-08-13
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: c-logic.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: linux