Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/build-codeql.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ on:
workflow_dispatch:

env:
CODEQL_VERSION: 2.23.3
CODEQL_VERSION: 2.24.2

jobs:
build:
Expand Down
5 changes: 5 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,11 @@
# Change Log
All notable changes to this project will be documented in this file.

## [1.8.3] - 2026-02-25

### Changed
- Updated the C/C++ CodeQL libraries we depend on to version 7.0.0.
- Updated the cpp-queries pack we depend on to version 0.0.5.

## [1.8.2] - 2026-01-23

Expand Down
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ This repository contains open-source components for supplemental use in developi
### For General Use
| CodeQL CLI Version | microsoft/windows-drivers CodeQL Pack Version | microsoft/cpp-queries CodeQL Pack Version | Associated Repo Branch|
|--------------------------|------------------------------------------|-------------------------------|-----------------------------|
| 2.24.1 or greater* | [Latest Stable Version](https://github.com/microsoft/Windows-Driver-Developer-Supplemental-Tools/pkgs/container/windows-drivers) | 0.0.4 | Main |
| 2.24.1 or greater* | [Latest Stable Version](https://github.com/microsoft/Windows-Driver-Developer-Supplemental-Tools/pkgs/container/windows-drivers) | 0.0.5 | Main |


When using the precompiled pack, please use the most recent CodeQL CLI version listed above.
Expand Down
28 changes: 16 additions & 12 deletions src/codeql-pack.lock.yml
Original file line number Diff line number Diff line change
@@ -1,28 +1,32 @@
---
lockVersion: 1.0.0
dependencies:
codeql/controlflow:
version: 2.0.24
codeql/cpp-all:
version: 4.2.0
version: 7.0.0
codeql/dataflow:
version: 2.0.5
version: 2.0.24
codeql/mad:
version: 1.0.21
version: 1.0.40
codeql/quantum:
version: 0.0.18
codeql/rangeanalysis:
version: 1.0.21
version: 1.0.40
codeql/ssa:
version: 1.1.0
version: 2.0.16
codeql/suite-helpers:
version: 1.0.21
version: 1.0.40
codeql/tutorial:
version: 1.0.21
version: 1.0.40
codeql/typeflow:
version: 1.0.21
version: 1.0.40
codeql/typetracking:
version: 2.0.5
version: 2.0.24
codeql/util:
version: 2.0.8
version: 2.0.27
codeql/xml:
version: 1.0.21
version: 1.0.40
microsoft/cpp-queries:
version: 0.0.4
version: 0.0.5
compiled: false
Original file line number Diff line number Diff line change
Expand Up @@ -34,11 +34,11 @@ predicate areExpressionsGuardedBySimilarConditionsThatMayCallReturnStatement( Ex
gc1.controls(e1.getBasicBlock(), _) and
gc2.controls(exitExpr.getBasicBlock(), b) and
gc2.controls(e2.getBasicBlock(), b.booleanNot()) and
gc1.getEnclosingFunction() = gc2.getEnclosingFunction() and
gc1.getASuccessor*() = gc2 and
gc1.(Expr).getEnclosingFunction() = gc2.(Expr).getEnclosingFunction() and
gc1.(Expr).getASuccessor*() = gc2.(Expr) and
forall( Variable v |
v.getAnAccess() = gc1.getAChild() |
v.getAnAccess() = gc2.getAChild() ) and
v.getAnAccess() = gc1.(Expr).getAChild() |
v.getAnAccess() = gc2.(Expr).getAChild() ) and
exitExpr.getEnclosingElement() instanceof ReturnStmt
)
}
Expand Down
14 changes: 8 additions & 6 deletions src/qlpack.yml
Original file line number Diff line number Diff line change
@@ -1,13 +1,15 @@
# Copyright (c) Microsoft Corporation.
# Licensed under the MIT license.

library: false
warnOnImplicitThis: false
compileForOverlayEval: false
name: microsoft/windows-drivers
version: 1.8.2
version: 1.8.3
description: CodeQL queries designed for Windows device driver development.
dependencies:
codeql/cpp-all: ^4.2.0
microsoft/cpp-queries: ^0.0.4
codeql/cpp-all: ^7.0.0
microsoft/cpp-queries: ^0.0.5
suites: windows-driver-suites
defaultSuiteFile: windows-driver-suites/recommended.qls
extractor: cpp
licenses: MIT
description: CodeQL queries designed for Windows device driver development.
defaultSuiteFile: windows-driver-suites/recommended.qls
2 changes: 1 addition & 1 deletion src/windows-driver-suites/mustfix.qls
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@
- microsoft/Security/CWE/CWE-704/WcharCharConversionLimited.ql
- queries: .
from: microsoft/cpp-queries
version: 0.0.4
version: 0.0.5
- include:
query path:
- Likely Bugs/Arithmetic/BadAdditionOverflowCheck.ql
Expand Down
2 changes: 1 addition & 1 deletion src/windows-driver-suites/recommended.qls
Original file line number Diff line number Diff line change
Expand Up @@ -59,7 +59,7 @@
- microsoft/Security/Crytpography/HardcodedIVCNG.ql
- queries: .
from: microsoft/cpp-queries
version: 0.0.4
version: 0.0.5
- include:
query path:
- Best Practices/Likely Errors/OffsetUseBeforeRangeCheck.ql
Expand Down
Loading