cqual は C プログラムのバグを見つけるの入力に基づいた分析ツールです。それは余分なユーザー定義の型修飾子を持つ C の型システムを拡張します。プログラマに適切な修飾子を持つ彼らのプログラム注釈し、cqual エラーをチェックします。不適切な注釈は潜在的なバグを示します。cqual はプログラム解析モードでは、emacs ベースの GUI を使用して分析結果を示します。他のアプリケーション間で潜在的なフォーマット文字列の脆弱性を検出およびユーザー スペース カーネル ポインター エラー検出 cqual を使用できます。
