Skip to content

Add KeSetEventIrql and KeSetEventPaged queries and update IRQL library. #208

Add KeSetEventIrql and KeSetEventPaged queries and update IRQL library.

Add KeSetEventIrql and KeSetEventPaged queries and update IRQL library. #208

Workflow file for this run

# Continuous integration action for the CodeQL components of this repo.
# This downloads the CodeQL CLI and then builds all the queries in the "windows-drivers" folder.
name: Build Windows CodeQL queries
on:
# Triggers the workflow on push or pull request events but only for the main and development branches
push:
branches: [ main, development ]
pull_request:
branches: [ main, development ]
# Allow manual scheduling
workflow_dispatch:
jobs:
build:
runs-on: windows-latest
steps:
- name: Enable long git paths
shell: cmd
run: git config --global core.longpaths true
- name: Clone self (windows-driver-developer-supplemental-tools)
uses: actions/checkout@v2
with:
path: .
- name: Download CodeQL CLI
uses: i3h/[email protected]
with:
owner: "github"
repo: "codeql-cli-binaries"
tag: "v2.15.1"
file: "codeql-win64.zip"
- name: Unzip CodeQL CLI
run: Expand-Archive -Path codeql-win64.zip -DestinationPath .\codeql-zip -Force
- name: Move CodeQL CLI folder to main subdirectory
shell: cmd
continue-on-error: true # Required because robocopy returns 1 on success
run: robocopy /S /move .\codeql-zip\codeql .\codeql-cli\
- name: Install CodeQL pack dependencies
shell: cmd
run: |
pushd .\src
..\codeql-cli\codeql.cmd pack install
popd
- name: Build must-fix driver suite
shell: cmd
run: .\codeql-cli\codeql.cmd query compile --check-only windows_driver_mustfix.qls
- name: Build recommended driver suite
shell: cmd
run: .\codeql-cli\codeql.cmd query compile --check-only windows_driver_recommended.qls
- name: Build CA ported queries
shell: cmd
run: .\codeql-cli\codeql.cmd query compile --check-only ported_driver_ca_checks.qls
- name: Build all Windows queries
shell: cmd
run: .\codeql-cli\codeql.cmd query compile --check-only .\src