Log Sanitization Script Repair
Log Sanitization Script Repair: a task in repo2rlenv-seta-seed2synth (Harbor dataset). A log-sanitization script at /opt/logsanitize/sanitize.sh is supposed to redact sensitive credential blocks in log lines. Each block starts with the marker CRED START and ends with the first subsequent CRED END…
The task
A log-sanitization script at `/opt/logsanitize/sanitize.sh` is supposed to redact sensitive credential blocks in log lines. Each block starts with the marker `CRED_START` and ends with the **first** subsequent `CRED_END`. The script currently uses a broken regex that incorrectly swallows multiple credential blocks…
Part of FineEnvs/repo2rlenv-seta-seed2synth.