Skip to content

Instantly share code, notes, and snippets.

View mrigankpawagi's full-sized avatar
🪜

Mrigank Pawagi mrigankpawagi

🪜
View GitHub Profile
@mrigankpawagi
mrigankpawagi / extract.py
Last active July 10, 2025 11:01
Script to extract information about GitHub's CodeQL queries. Clone github.com/github/codeql and run the script from the root of the repository. It outputs a JSON file called ql_metadata.json and a CSV file called ql_metadata.csv. You need to have the CodeQL CLI installed on your system.
import os
import subprocess
import json
import csv
from pathlib import Path
def get_ql_and_qls_files(root_dir):
ql_files = []
qls_files = []
for dirpath, _, filenames in os.walk(root_dir):
@mrigankpawagi
mrigankpawagi / log.txt
Last active June 27, 2025 15:27
CodeQL Extension Logs (since startup) [https://github.com/github/vscode-codeql/issues/4059]
This file has been truncated, but you can view the full file.
Starting GitHub.vscode-codeql extension
Searching for latest release including codeql-win64.zip.
Extracting CodeQL CLI to c:\Users\a-bcdefgh\AppData\Roaming\Code\User\globalStorage\github.vscode-codeql\distribution2
CodeQL CLI updated to version "v2.22.1".
Checking CodeQL version using CodeQL CLI: c:\Users\a-bcdefgh\AppData\Roaming\Code\User\globalStorage\github.vscode-codeql\distribution2\codeql\codeql.exe version -v --log-to-stderr --format=json...
[2025-06-27 16:11:15] This is codeql version -v --log-to-stderr --format=json
[2025-06-27 16:11:16] Terminating normally.
CLI command succeeded.
Found compatible version of CodeQL CLI (version 2.22.1)