정적 드라이버 검증 도구에 대한 로그 파일 만들기
Windows Server 2012 하드웨어 인증 프로그램은 해당하는 모든 드라이버 제출을 위해 DVL(드라이버 검증 로그)를 필요로 합니다. 드라이버에 대한 DVL을 만들기 전에 SDV(정적 드라이버 검증 도구)를 실행해야 합니다. DVL에는 코드 분석 및 정적 드라이버 검증 도구 로그 파일의 결과 요약이 포함되어 있습니다. 로그 파일은 소스 코드 정보를 포함하지 않습니다.
최상의 결과를 위해서는 정적 드라이버 검증 도구를 실행하기 전에 코드 분석 도구를 실행합니다.
.gif "Hh454829.wedge(ko-kr,VS.85).gif")
정적 드라이버 검증 도구에 대한 로그 파일을 만들려면
- Microsoft Visual Studio Ultimate 2012에서 드라이버 프로젝트 파일을 선택한 마우스 오른쪽 단추로 클릭하여 다음 프로젝트 속성을 엽니다. 구성으로 Windows 8 Release를 선택하고 플랫폼으로 x64를 선택합니다.
- 코드 분석 도구를 이미 실행했으면 정적 드라이버 검증 도구 실행 지침을 따릅니다. SDV 사용에 대한 자세한 내용은 정적 드라이버 검증 도구를 사용하여 드라이버의 결함 찾기를 참조하세요.
- SDV가 드라이버에서 결점을 발견할 경우 결과 창에서 결함을 클릭하고 규칙 위반을 초래한 코드 경로 추적을 확인합니다. 드라이버에서 발견된 결함을 수정하고 SDV를 다시 실행합니다.
정적 드라이버 검증 도구는 프로젝트의 SDV 하위 디렉터리(예: \myDriverProject\SDV)에 있는 SDV.DVL.xml 파일에 결과를 씁니다.
설명
정적 드라이버 검증 도구 및 드라이버 검증 로그에 대한 가장 최신 정보는 WDK 릴리스 정보를 참조하세요. 릴리스 정보는 WDK(Windows 드라이버 키트) 다운로드 페이지에 있습니다.
중요 DVL 파일의 시간 제한, 공백 및 기타 실패한 결과는 인증 제출을 위해 허용됩니다. 이로 인해 HCK의 정적 도구가 실패하지 않습니다. HCK 2.0의 경우 코드 분석을 표시하려면 정적 도구 테스트에 DVL 파일만 있어야 하며 SDV가 실행되었고 모든 규칙이 성공할 필요가 없습니다.
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"