fyi, anyone can do this analysis using Windbg. check out Install WinDbg - Windows drivers | Microsoft Learn