• Joined on 2025-08-16
A walkthrough of codeql command-line use
Updated 2023-07-02 16:46:23 +02:00
All stages of exploring the polkit CVE-2021-4034 using codeql
Updated 2022-03-15 19:42:09 +01:00
Example of external data additions to CodeQL database
Updated 2021-09-29 22:03:36 +02:00
Illustrations of codeql's AST
Updated 2021-09-10 03:02:49 +02:00
Exploration of graph generation via dot
Updated 2021-08-15 09:50:58 +02:00