Files
Charon/tools/codeql_scan.sh