EN JP CN

コード問題の確実性

コード問題の確実性

いくつかのタイプの C/C++ チェッカーの場合、Klocwork は確実性の設定を使用して、出力に表示されるメッセージを特定します。つまり、Klocwork は、あるコード問題の周辺にある条件を調査して、すべてのパス (指摘は常に発生します) または一部のパス (取得したパスによって、指摘が発生する場合があります) のみでエラーが検出されたかどうかを確実に伝えます。多くの場合、エラー解析をトリガーした原因に関する詳細を提供できます。