静的ドライバー検証ツールの制限
このセクションでは、SDV ツールの一般的な制限事項、SDV によるドライバー コードの正常な解釈を妨げる一部の技術的な制限事項、SDV が検証できるドライバーの特性について説明します。
このセクションには、次が含まれます。
ドライバーまたはライブラリが静的ドライバー検証ツールでサポートされているかどうかの判定
誤検知を抑制するための _analysis_assume 関数の使用
遅延プロシージャ呼び出しのための __sdv_save_request と __sdv_retrieve_request の使用