SyncReqSend 규칙(kmdf)

SyncReqSend 규칙은 동기 특정 KMDF 디바이스 드라이버 인터페이스 메서드를 사용하여 모든 동기 전송 요청이 수행되고 메서드에 0이 아닌 시간 제한 값이 설정되도록 지정합니다.

드라이버가 유효한 시간 제한을 설정하지 않고 WDFxxxSendXXXSynchronously 메서드를 호출하는 경우 하드웨어가 즉시 응답하지 않으면 스레드가 중단될 수 있습니다.

드라이버 모델: KMDF

테스트 방법

컴파일 시
정적 드라이버 검증 도구 를 실행하고 SyncReqSend 규칙을 지정합니다. 다음 단계를 사용하여 코드 분석을 실행합니다. 코드를 준비합니다(역할 형식 선언 사용). 정적 드라이버 검증 도구 실행 결과를 보고 분석합니다. 자세한 내용은 정적 드라이버 검증 도구로 드라이버에서 결함 찾기를 참조하세요.

정적 드라이버 검증 도구 를 실행하고 SyncReqSend 규칙을 지정합니다.

다음 단계를 사용하여 코드 분석을 실행합니다.