C/C++ ソースコードプログラムを監査して潜在的なセキュリティ上の欠陥に つながるかもしれないプログラム上のまちがいを見つけるのに利用できる 2 個のパッケージを Debian は提供しています: