코드 분석 및 확인 도구를 사용하여 드라이버 분석

  • 아티클

코드 분석 및 확인 도구는 소스 코드를 체계적으로 분석하여 드라이버의 안정성과 안정성을 개선하는 데 도움이 될 수 있습니다. 코드 분석 및 확인 도구는 컴파일러 및 기존 런타임 테스트에서 누락된 오류를 검색할 수 있습니다. 또한 드라이버가 Windows 운영 체제 커널과 올바르게 상호 작용하는지 여부를 확인할 수 있습니다. Microsoft Visual Studio 및 WDK(Windows 드라이버 키트)를 사용하여 빌드 프로세스의 일부로 실행되도록 코드 분석 및 확인 도구를 구성하거나 미리 결정된 시간에 드라이버를 분석하도록 도구를 예약할 수 있습니다.

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

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

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

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

참고 이전 버전의 WDK에서 코드 분석을 위한 드라이버별 모듈은 PFD(드라이버용 PREfast)라는 독립 실행형 도구의 일부였습니다. 또한 PREfast for Drivers는 Microsoft OACR(자동화된 코드 검토)의 일부로 WDK 빌드 환경에 통합되었습니다.

정적 드라이버 검증 도구

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

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

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