정적 드라이버 검증 도구 소개
SDV(정적 드라이버 검증 도구)는 컴파일 시간에 실행되는 정적 확인 도구입니다. 소스 코드를 기호적으로 실행하여 드라이버 코드의 경로를 탐색하여 운영 체제의 상태와 드라이버의 초기 상태에 대한 가능한 가정을 가장 적게 만듭니다. 결과적으로 SDV는 기존 테스트에서 누락된 경로에서 코드를 실행할 수 있습니다.
SDV에는 드라이버와 운영 체제 커널 간의 적절한 상호 작용을 정의하는 규칙 집합이 포함되어 있습니다. 확인 중에 SDV는 드라이버 코드의 적용 가능한 모든 분기와 사용하는 라이브러리 코드를 검사하고 드라이버가 규칙을 위반했음을 증명하려고 합니다. SDV가 위반을 증명하지 못하면 드라이버가 규칙을 준수하고 확인을 통과한다고 보고합니다.
이 단원에는 다음이 포함됩니다.
피드백
https://aka.ms/ContentUserFeedback
출시 예정: 2024년 내내 콘텐츠에 대한 피드백 메커니즘으로 GitHub 문제를 단계적으로 폐지하고 이를 새로운 피드백 시스템으로 바꿀 예정입니다. 자세한 내용은 다음을 참조하세요.다음에 대한 사용자 의견 제출 및 보기