추가 Windows 드라이버 CodeQL 쿼리

이 섹션에서는 Windows 플랫폼용 드라이버 개발과 관련된 Microsoft GitHub CodeQL 리포지토리의 일부로 포함된 몇 가지 CodeQL 쿼리를 나열하고 설명합니다.

쿼리 목록

쿼리 이름	Description
WDK 사용되지 않는 API	사용되지 않는 풀 할당 API의 인스턴스를 찾습니다.
UseAfterFree	드라이버 소스 코드에서 UseAfterFree 결함의 선택 인스턴스 찾기(정밀도)
가능한 UseAfterFree	드라이버 소스 코드에서 UseAfterFree 결함의 거의 모든 인스턴스를 찾습니다(정밀도가 낮음).
PaddingByteInformationDisclosure	패딩 바이트가 포함된 경우 정보가 누출될 수 있으므로 멤버별로 초기화된 새로 할당된 구조체 또는 클래스를 확인합니다.
BadOverflowGuard	추가의 인수 중 하나와 비교하여 추가의 오버플로를 확인합니다. 모든 인수 형식의 크기가 4바이트보다 작으면 실패합니다.
InfiniteLoop	루프가 종료되지 않을 수 있는 루프 조건에서 서로 다른 너비 형식 간의 비교를 찾습니다.
UninitializedPtrField	클래스 생성 중에 또는 클래스 생성 시 null 포인터 역참조가 발생하므로 초기화되지 않은 포인터 필드를 찾습니다.
HardcodedIVCNG	초기화 벡터의 잘못된 사용을 찾습니다.