SDV 및 샘플 드라이버 사용
SDV(정적 드라이버 검증 도구) 사용을 시작하는 데 도움이 되도록 SDV-FailDriver 샘플에서 도구를 실행할 수 있습니다. 샘플 드라이버에는 SDV의 기능과 기능을 표시하도록 설계된 의도적인 코드 오류가 포함되어 있습니다. 이러한 샘플 드라이버는 작동하지 않으며 실제 드라이버 개발 프로젝트의 예로 사용되지 않습니다. GitHub의 Windows 드라이버 샘플 리포지토리에서 사용할 수 있는 SDV-FailDriver 샘플 드라이버가 있습니다.
Important
SDV는 더 이상 지원되지 않으며 Windows 24H2 WDK 또는 EWDK 릴리스에서는 SDV를 사용할 수 없습니다. 빌드 26017보다 최신의 WDK에서는 사용할 수 없으며 Windows 24H2 RTM WDK에는 포함되지 않습니다.
SDV는 WDK(Windows 드라이버 키트) 다운로드에서 Visual Studio 빌드 도구 17.1.5와 함께 Windows 11 버전 22H2 EWDK(2023년 10월 24일 릴리스)를 다운로드하여 계속 사용할 수 있습니다. SDV를 실행하는 데 엔터프라이즈 WDK만 사용하는 것이 좋습니다. 최신 버전의 Visual Studio와 함께 표준 WDK의 이전 버전을 사용하는 것은 권장되지 않습니다. 따라서 분석 실패가 발생할 수 있습니다.
앞으로 CodeQL은 드라이버의 기본 정적 분석 도구가 될 것입니다. CodeQL은 코드를 쿼리할 데이터베이스로 처리하는 강력한 쿼리 언어를 제공하므로 특정 동작, 패턴 등에 대한 쿼리를 간단하게 작성할 수 있습니다.
CodeQL 사용에 대한 자세한 내용은 CodeQL 및 정적 도구 로고 테스트를 참조하세요.