정적 드라이버 검증 도구에 대한 로그 파일 만들기
Windows 하드웨어 인증 프로그램에는 드라이버 제출을 위한 DVL(드라이버 확인 로그)이 필요합니다. 드라이버에 대한 DVL을 만들기 전에 정적 드라이버 검증 도구를 실행해야 할 수 있습니다. DVL에는 CodeQL, 코드 분석 및 정적 드라이버 검증 도구와 같은 도구의 결과 요약이 포함될 수 있습니다. 로그 파일에는 소스 코드 정보가 포함되어 있지 않습니다. 자세한 내용은 정적 도구 로고 테스트 및 CodeQL 및 정적 도구 로고 테스트를 참조하세요.
SDV에 대한 로그 파일 만들기
- Microsoft Visual Studio에서 드라이버 프로젝트 파일을 선택한 다음, 프로젝트 속성을 선택하고 길게(또는 마우스 오른쪽 단추로 클릭) 엽니다.
- 코드 분석 도구를 이미 실행한 경우 정적 드라이버 검증 도구를 실행하려면 다음 지침을 따르세요. SDV 사용에 대한 자세한 내용은 정적 드라이버 검증 도구를 사용하여 드라이버에서 결함 찾기를 참조하세요.
- SDV가 드라이버에서 결함을 발견한 경우 결과 창에서 결함을 선택하여 규칙 위반으로 이어진 코드 경로의 추적을 확인합니다. 드라이버에서 발견된 결함을 수정하고 SDV를 다시 실행합니다.
정적 드라이버 검증 도구는 프로젝트의 SDV 하위 디렉터리(예: \myDriverProject\SDV)에 SDV.DVL.xml 파일에 결과를 씁니다.
설명
정적 드라이버 검증 도구 및 드라이버 확인 로그에 대한 최신 정보는 WDK 릴리스 정보를 참조하세요. 릴리스 정보는 WDK(Windows 드라이버 키트) 다운로드 페이지에서 사용할 수 있습니다.
Important
DVL 파일의 시간 제한, 공간 제한 및 기타 성공하지 못한 결과는 인증 제출에 허용됩니다. 이로 인해 HCK의 정적 도구 테스트가 실패하지 않습니다. HCK 2.0의 경우 정적 도구 테스트는 코드 분석 및 SDV가 실행되었음을 표시하기 위해 DVL 파일이 있어야 하며 모든 규칙을 통과하지 않아도 됩니다.
Visual Studio 명령 프롬프트 창
Visual Studio 명령 프롬프트 창에서 정적 드라이버 검증 도구를 실행할 수도 있습니다. 다음 일괄 처리 파일 중 하나를 실행하여 환경을 설정합니다.
"C:\Program Files\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64
-또는-
"C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64
정적 드라이버 검증 도구를 실행합니다.
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /p:Platform=x64 /target:sdv /p:inputs="/clean"
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /p:Platform=x64 /target:sdv /p:inputs="/check:default.sdv"