プログラム c-logic.sf.net

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