This section lists and describes a handful of CodeQL queries that are included as part of the Microsoft GitHub CodeQL repository that are specific to driver development for the Windows platform.
쿼리 목록
| Query Name | Description |
|---|---|
사용되지 않는 풀 할당 API의 인스턴스를 찾습니다. |
|
드라이버 소스 코드에서 UseAfterFree 결함의 선택 인스턴스를 찾습니다(정밀도 높음). |
|
드라이버 소스 코드에서 UseAfterFree 결함의 거의 모든 인스턴스를 찾습니다(정밀도가 낮음). |
|
패딩 바이트가 포함된 경우 정보가 누출될 수 있으므로 멤버별로 초기화된 새로 할당된 구조체 또는 클래스를 확인합니다. |
|
추가의 인수 중 하나와 비교하여 추가의 오버플로를 확인합니다. 모든 인수 형식의 크기가 4바이트보다 작으면 실패합니다. |
|
루프가 종료되지 않도록 할 수 있는 루프 조건에서 서로 다른 너비 형식 간의 비교를 찾습니다. |
|
클래스 생성 중에 초기화되지 않았거나 클래스 생성으로 인해 null 포인터 역참조가 발생하는 포인터 필드를 찾습니다. |
|
초기화 벡터의 잘못된 사용량을 찾습니다. |