精度の向上

オレンジ チェックを減らすため、コードに関する追加情報を提供する

コードに関する追加情報を指定して、結果の精度を高めます。

  • ローカルの仮定を指定します。たとえば、外部ソースからの変数の範囲を制限できます。また、解析精度が低い一部の関数をスタブ化して、結果の精度を高めることもできます。前提条件により、レビューのフォーカスを絞り込んで、結果をより意義のあるものにすることができます。

  • 検証の精度を構成します。検証の精度を高めると、オレンジ チェックの数は減少しますが、より多くの計算リソースが必要になります。

これらのオプションを使用して、解析のオレンジ チェックの数を管理します。

カテゴリ