SpinLockSafe 규칙(wdm)
SpinLockSafe 규칙은 스핀 잠금을 유지하는 동안 IoStartNextPacket 및 IoCompleteRequest가 호출되지 않도록 지정합니다.
또한 이 규칙은 드라이버가 KeReleaseSpinLockFromDpcLevel 또는 KeReleaseSpinLock을 호출하기 전에 KeAcquireSpinLock 또는 KeAcquireSpinLockAtDpcLevel을 호출하고 IoReleaseCancelSpinLock을 호출하기 전에 IoAcquireCancelSpinLock을 호출한다고 지정합니다.
정적 드라이버 검증 도구는 드라이버에 중첩된 SpinLocks가 포함된 경우 해당 스핀 잠금을 올바르게 획득하고 해제한 경우에도 이 규칙의 잘못된 위반을 보고할 수 있습니다.
드라이버 모델: WDM
테스트 방법
컴파일 시 |
---|
정적 드라이버 검증 도구를 실행하고 SpinLockSafe 규칙을 지정합니다. 다음 단계를 사용하여 코드 분석을 실행합니다. |
적용 대상
IoAcquireCancelSpinLockIoCompleteRequestIoReleaseCancelSpinLockIoStartNextPacketKeAcquireSpinLockKeAcquireSpinLockRaiseToDpcKeReleaseSpinLock
피드백
https://aka.ms/ContentUserFeedback
출시 예정: 2024년 내내 콘텐츠에 대한 피드백 메커니즘으로 GitHub 문제를 단계적으로 폐지하고 이를 새로운 피드백 시스템으로 바꿀 예정입니다. 자세한 내용은 다음을 참조하세요.다음에 대한 사용자 의견 제출 및 보기