静的ドライバー検証ツールの制限

  • [アーティクル]

このセクションでは、SDV ツールの一般的な制限事項、SDV によるドライバー コードの正常な解釈を妨げる一部の技術的な制限事項、SDV が検証できるドライバーの特性について説明します。

このセクションには、次が含まれます。

ドライバーまたはライブラリが静的ドライバー検証ツールでサポートされているかどうかの判定

静的ドライバー検証ツールの一般的なツールと技術的な制限

誤検知を抑制するための _analysis_assume 関数の使用

遅延プロシージャ呼び出しのための __sdv_save_request と __sdv_retrieve_request の使用

アダプター コンテキスト フィールドを追跡するための __sdv_save_adapter_context の使用