[rwth-security] Automating binary vulnerability discovery with Ghidra and Semgrep