정적 드라이버 검증 도구 결과 해석

Visual Studio에서 정적 드라이버 검증 도구를 시작하고 드라이버 분석을 실행하면 기본 탭의 결과 요약에 결과가 표시됩니다.

통계

진입점은 드라이버 소스 코드에 있는 진입점 수를 보고합니다. 진입점은 드라이버 제공 콜백 또는 디스패치 루틴입니다. 함수 역할 형식 선언을 사용하여 진입점을 정의합니다. 분석을 수행하려면 SDV에서 하나 이상의 진입점을 찾아야 합니다. 자세한 내용은 함수 역할 형식 선언 사용을 참조 하세요.

결함은 분석 중에 발견 된 결함의 수를보고 발견. 결함은 DDI 준수 규칙을 위반하는 것입니다.

테스트가 실행된 경우 분석 중에 테스트된 규칙 수를 보고합니다. 규칙 탭에서 선택하는 규칙 입니다.

상태

분석의 상태 보고합니다. 완료되면 찾은 결과를 검토할 수 있습니다.

결과

완료됨(규칙)
SDV는 드라이버에서 규칙 위반을 테스트했지만 규칙 위반을 증명할 수 없었습니다.

이 결과가 드라이버가 오류 없음을 의미하지는 않습니다. SDV가 확인 패스에서 규칙을 위반했음을 증명할 수 없다는 의미입니다.

결함
SDV에서 하나 이상의 결함을 보고한 경우 결함 링크를 클릭하여 정적 드라이버 검증 도구 보고서를 사용하여 오류의 추적을 확인합니다.

해당 없음
SDV는 드라이버에서 규칙 위반을 테스트했지만 드라이버가 분석에 필요한 진입점을 지원하지 않았거나 드라이버가 규칙에서 모니터링하는 함수를 호출하지 않았습니다.

규칙이 함수 호출에서 특정 인수(일반적으로 리소스에 대한 포인터)를 모니터링하고 드라이버가 함수를 호출하지 않거나 해당 인수를 참조하지 않는 경우 규칙은 드라이버에 적용되지 않습니다.

드라이버가 진입점을 지정하고 규칙이 모니터링하는 함수를 호출하는 경우 이 결과는 SDV가 진입점을 찾지 못했거나 올바르게 해석하지 못했음을 나타낼 수 있습니다. 이 상황이 발생했는지 확인하려면 필요한 경우 Sdv-map.h 파일을 검사하고 수정합니다. 이 절차에 대한 자세한 내용은 드라이버 검사를 참조 하세요.

각 규칙에 대한 자세한 내용은 정적 드라이버 검증 도구 규칙 참조를 참조하세요.

드라이버를 추가로 검사하려면 다른 규칙을 사용하여 확인을 실행합니다.

Timeouts
SDV는 각 규칙을 확인하기 위한 시간 제한을 초과했기 때문에 규칙 확인을 중지했습니다. 시간 제한은 정적 드라이버 검증 도구 옵션 파일 또는 구성 탭의 최대 시간 필드에 설정됩니다.

시간 제한은 결정적이지 않은 결과로 간주됩니다. 드라이버 오류를 나타내지 않습니다. SDV가 시간 제한을 보고하는 경우 확인에 허용되는 시간( sdv-default.xmlfile의 SDV_SlamConfig_Timeout 값)을 연장하고 확인을 다시 실행합니다.

완료됨(속성)
SDV는 지정된 드라이버에 대한 드라이버 속성 규칙을 실행했습니다. 드라이버 속성 규칙은 드라이버 기능 또는 지원되는 기능에 대한 검사 추가 분석을 위한 전주곡입니다. 예를 들어 드라이버 속성 규칙인 CancelRoutine은 WDM 드라이버가 Cancel 루틴을 등록했는지 확인하기 위해 검사. 취소 루틴이 검색되지 않으면 특정 WDM 규칙이 적용되지 않습니다. 즉, 드라이버 속성이 충족되지 않았습니다.

충족됨(속성)
SDV는 지정된 드라이버에 대한 드라이버 속성 규칙을 실행했습니다. 드라이버 속성 규칙은 드라이버 기능 또는 지원되는 기능에 대한 검사 추가 분석을 위한 전주곡입니다. 예를 들어 드라이버 속성 규칙인 CancelRoutine은 WDM 드라이버가 Cancel 루틴을 등록했는지 확인하기 위해 검사. 취소 루틴이 검색되면 특정 WDM 규칙이 적용됩니다. 즉, 드라이버 속성이 충족되었습니다.

스페이스아웃
SDV가 규칙을 확인하기 위한 메모리 제한을 초과하여 확인을 중지한 규칙의 수입니다. 메모리 제한은 sdv-default.xml 정적 드라이버 검증 도구 옵션 파일에서 설정됩니다.

공백은 결정적이지 않은 결과로 간주됩니다. SDV가 공백을 보고하는 경우 확인에 할당된 공간(sdv-default.xml 파일의 SDV_SlamConfig_Spaceout 값)을 확장하고 확인을 다시 실행합니다.

기타

SDV에서 복구할 수 없는 내부 오류가 발생한 횟수입니다. 오류 및 디버깅에 대한 자세한 내용은 정적 드라이버 검증 도구 오류 메시지 페이지를 참조하세요.