
codeql-workshop
Take first steps in CodeQL for Python by writing a query to find CVE-2024-32022
code-analysiscurated-resourceseducation+4
12

Take first steps in CodeQL for Python by writing a query to find CVE-2024-32022

Python framework for building LLM workflows as state machines with formal verification via Z3 theorem proving, CTL model checking, and conformal…

Detection scripts and guidance for CVE-2022-22965 (Spring4Shell) vulnerability in Spring Framework, including PowerShell and Bash scanners for…

Benchmark task for reimplementing a masked path-resolution fix in Jupyter Server, with functional and hidden security tests to evaluate…