Driver Verifier가 드러낸 커널 BSOD — 락을 쥔 채 ZwClose를 부르면 안 되는 이유 (0xC4 IrqlZwPassive)

Driver Verifier(/standard /driver) 활성 상태에서 드라이버 언로드 시 0xC4 DRIVER_VERIFIER_DETECTED_VIOLATION BSOD가 발생한 사례. ZwClose가 PASSIVE_LEVEL 전용 API인데 fast mutex를 쥔 APC_LEVEL에서 호출되던 구조적 결함을 WinDbg로 규명하고, 락 밖에서 핸들을 닫도록 정리 루프를 재설계한 기록.