Debugging Tools for Windows (WinDbg, KD, CDB, NTSD)Analyze crash dump files by using WinDbgKernel-Mode Dump FilesExtracting Information from a Dump FileUsing a Symbol Server