정적 드라이버 검증 도구 소개

SDV(정적 드라이버 검증 도구)는 컴파일 시간에 실행되는 정적 확인 도구입니다. 소스 코드를 기호적으로 실행하여 드라이버 코드의 경로를 탐색하여 운영 체제의 상태와 드라이버의 초기 상태에 대한 가능한 가정을 가장 적게 만듭니다. 결과적으로 SDV는 기존 테스트에서 누락된 경로에서 코드를 실행할 수 있습니다.

SDV에는 드라이버와 운영 체제 커널 간의 적절한 상호 작용을 정의하는 규칙 집합이 포함되어 있습니다. 확인 중에 SDV는 드라이버 코드의 적용 가능한 모든 분기와 사용하는 라이브러리 코드를 검사하고 드라이버가 규칙을 위반했음을 증명하려고 합니다. SDV가 위반을 증명하지 못하면 드라이버가 규칙을 준수하고 확인을 통과한다고 보고합니다.

이 단원에는 다음이 포함됩니다.

정적 드라이버 검증 도구 이해

정적 드라이버 검증 도구 개념

지원되는 드라이버

정적 드라이버 검증 도구 제한 사항