自動監査の例

監査ツールのページで説明しているように、 ソースコードの自動監査に使えるパッケージが Debian アーカイブ内にいくつかあります。

監査の例

以下のツールはそれぞれバグだらけのコード の同じ部分に対してテストされました。 これにより、ツールの出力を直接比較できます。

コードは 3 つのツールによって分析されています:

監査プロジェクトに戻る