다음을 통해 공유

도구 샘플

  • 아티클

이 디렉터리의 드라이버 샘플에는 SDV(정적 드라이버 검증 도구)의 기능과 기능을 표시하도록 설계된 의도적인 코드 오류가 포함되어 있습니다.

SDV는 Windows 커널 모드 드라이버의 소스 코드를 체계적으로 분석하는 정적 확인 도구입니다. SDV는 WDK(Windows 드라이버 키트)에 포함되어 있으며 Microsoft Visual Studio에서 실행할 수 있습니다.

샘플 Description
DV-FailDriver-WDM 이 샘플에서는 DV가 WDM 드라이버에서 오류를 찾는 방법을 보여 줍니다.
SDV-FailDriver-KMDF 이 샘플에서는 SDV가 KMDF 드라이버에서 오류를 찾는 방법을 보여 줍니다.
SDV-FailDriver-NDIS 이 샘플에서는 SDV가 NDIS 드라이버에서 오류를 찾는 방법을 보여 줍니다.
SDV-FailDriver-STORPORT 이 샘플에서는 SDV가 Storport 드라이버에서 오류를 찾는 방법을 보여 줍니다.
SDV-FailDriver-WDM 이 샘플에서는 SDV가 WDM 드라이버에서 오류를 찾는 방법을 보여 줍니다.