A Jupyter kernel for executing CodeQL queries.

• Jupyter
• CodeQL CLI binaries

To install from a git checkout, run:

$ pip install jupyter jupyterlab tree_sitter $ make install

Verify installation:

Run jupyter kernelspec list and check that codeql is available as a Jupyter kernel:

$ jupyter kernelspec list Available kernels: codeql /Users/pwntester/.pyenv/versions/3.8.13/share/jupyter/kernels/codeql python3 /Users/pwntester/.pyenv/versions/3.8.13/share/jupyter/kernels/python3

Jupyter-lab extension to highlight CodeQL syntax

cd jupyterlab-codeql-highlight npm install jupyter labextension link .

• %set_database <CodeQL DB directory>: Sets the Database for analysis.

cd example jupyter-lab test.ipynb

Wait for each cell to run before running other cells.

This is an experimental project not maintained by the GitHub CodeQL teams. Any contributions are welcomed!