드라이버에 대한 코드 분석
드라이버에 대한 코드 분석은 C 및 C++ 프로그램에서 기본 코딩 오류를 감지하고 커널 모드 드라이버 코드에서 오류를 검색하도록 설계된 특수 모듈을 포함하는 컴파일 시간 정적 확인 도구입니다.
이전 버전의 WDK에서 코드 분석을 위한 드라이버별 모듈은 PFD(PREfast for Drivers)라는 독립 실행형 도구의 일부였습니다. 또한 PREfast for Drivers는 Microsoft OACR(자동화된 코드 검토)의 일부로 WDK 빌드 환경에 통합되었습니다. WDK(Windows 드라이버 키트) 8부터 드라이버 관련 기능이 코드 분석 도구를 사용하여 애플리케이션 품질 분석과 통합되었습니다.
Important
Windows 하드웨어 호환성 프로그램에는 클라이언트 및 서버 운영 체제에서 STL(정적 도구 로고) 테스트용 CodeQL이 필요합니다. 우리는 이전 제품에 대한 SDV 및 CA에 대한 지원을 계속 유지합니다. 파트너는 정적 도구 로고 테스트에 대한 CodeQL 요구 사항을 검토하는 것이 좋습니다. CodeQL 사용에 대한 자세한 내용은 CodeQL 및 정적 도구 로고 테스트를 참조하세요.
이 섹션의 내용
Important
드라이버에 대한 코드 분석은 Windows 24H2 WDK 및 EWDK에서 사용할 수 있지만 나중에 사용 중지되도록 설정되어 있는 것이 좋습니다.
앞으로 CodeQL은 드라이버의 기본 정적 분석 도구가 될 것입니다. CodeQL은 코드를 쿼리할 데이터베이스로 처리하는 강력한 쿼리 언어를 제공하므로 특정 동작, 패턴 등에 대한 쿼리를 간단하게 작성할 수 있습니다.
CodeQL 사용에 대한 자세한 내용은 CodeQL 및 정적 도구 로고 테스트를 참조하세요.