코드 분석 및 검증 도구를 사용하여 드라이버 분석

  • 아티클

코드 분석 및 검증 도구는 소스 코드를 체계적으로 분석하여 드라이버의 안정성과 신뢰성을 향상하는 데 도움을 줍니다. 코드 분석 및 검증 도구는 컴파일러 및 기본 런타임 테스트에서 놓친 오류를 감지할 수 있을 뿐 아니라, 드라이버가 Windows 운영 체제 커널과 올바르게 상호 작용하는지를 확인할 수 있습니다. Microsoft Visual Studio Ultimate 2012 및 WDK(Windows 드라이버 키트)를 사용하면 코드 분석 및 검증 도구를 구성하여 빌드 프로세스의 일부로 실행하거나, 미리 정해 놓은 시간에 드라이버를 분석하도록 도구를 예약할 수 있습니다.

Windows 드라이버용 C/C++ 코드 분석 도구

WDK의 Windows 8 버전은 Visual Studio에 포함된 C/C++ 코드 분석 도구에 대한 향상 기능을 제공합니다. 특히 WDK는 커널 모드 드라이버 코드에서 오류를 감지하도록 설계된 특수 드라이버 모듈을 제공합니다. 이 드라이버 모듈은 C/C++ 코드 분석 도구에 통합되어 있습니다.

사용 시기: 코드가 올바르게 컴파일되면 그 즉시 개발 주기의 아주 초반에 드라이버에 대해 C/C++ 코드 분석 도구를 실행할 수 있습니다.

Visual Studio의 코드 분석 도구에 대한 자세한 내용은 다음을 참조하세요.

참고  WDK의 이전 버전에서는 코드 분석용 드라이버 전용 모듈이 PFD(드라이버용 PREfast)라는 독립 실행형 도구의 일부였습니다. 드라이버용 PREfast 역시 OACR(Microsoft Automated Code Review)의 일부로서 WDK 빌드 환경에 통합되었습니다.

 

정적 드라이버 검증 도구

SDV(정적 드라이버 검증 도구)는 Windows 커널 모드 드라이버의 소스 코드를 체계적으로 분석하는 정적 검증 도구로, 드라이버가 Windows 운영 체제 커널과 올바르게 상호 작용하는지를 확인합니다. SDV는 Visual Studio의 드라이버 메뉴 또는 Visual Studio 명령 프롬프트 창에서 실행할 수 있습니다.

사용 시기: 드라이버가 올바르게 컴파일되면 개발 주기의 초반에 정적 드라이버 검증 도구를 실행합니다. 테스트 주기를 시작하기 전에 정적 드라이버 검증 도구를 실행합니다.

정적 드라이버 검증 도구에 대한 자세한 내용은 다음을 참조하세요.

참고  WDK의 이전 버전에서 정적 드라이버 검증 도구는 WDK 빌드 환경 창에서 실행되는 독립 실행형 도구였습니다.