Users Guide

図 12. ［起動と回復］ウィンドウ
5 BSOD が発生すると、C:\windows\minidump へ移動してニミ ダンプ ファイルを収集します。
6 WinDbg（Windows デバッガー）ツールは、https://msdn.microsoft.com/en-us/windows/hardware/hh852365.aspx からダウンロードして
インストールします。
手順
1 WinDbg を開きます。
2 ［ファイル］→［シンボル ファイルのパス］をクリックするか、キーボードの Ctrl+S を押します。
3 ［シンボル パス］フィールドで、SRV*<local path>*http://msdl.microsoft.com/download/symbols を入力します。この<local path>はシンボル
ファイルをダウンロードするパスです。
4 OK をクリックします。
5 ［ファイル］→［クラッシュ ダンプを開く］をクリックするか、Ctrl+D を押します。
6 ミニ ダンプ ファイルを保存するフォルダーに移動します。
7 ミニ ダンプ ファイルを選択し、［OK］をクリックします。
8 情報をワークスペースに保存すると表示された場合は［いいえ］をクリックします。
デバッグを開始します。
9 ［!analyze –v］をクリックして、デバッグ情報の詳細を取得します。
10 次のパラメーターの値をメモしておきます。
a DEFAULT_BUCKET_ID
44
診断プログラムの実行