diff --git a/scripts/runSemgrep.sh b/scripts/runSemgrep.sh index 7619596344..18eb1c5fc8 100755 --- a/scripts/runSemgrep.sh +++ b/scripts/runSemgrep.sh @@ -6,8 +6,10 @@ source scripts/requireCommand.sh requireCommand docker +docker pull returntocorp/semgrep + benchmark_version=$(scripts/getBenchmarkVersion.sh) -semgrep_version=$(docker run --rm returntocorp/semgrep --version) +semgrep_version=$(docker run --rm returntocorp/semgrep semgrep --version) result_file="/src/results/Benchmark_$benchmark_version-Semgrep-v$semgrep_version.json" -docker run --rm -v "${PWD}:/src" returntocorp/semgrep --config p/security-audit -q --json -o "$result_file" . > /dev/null +docker run --rm -v "${PWD}:/src" returntocorp/semgrep semgrep --config p/security-audit -q --json -o "$result_file" . > /dev/null