Files
Charon/scripts/pre-commit-hooks/semgrep-scan.sh