Skip to content

Commit 09f7701

Browse files
committed
Rename Seqra to OpenTaint in benchmark run script
1 parent 358e95c commit 09f7701

2 files changed

Lines changed: 21 additions & 21 deletions

File tree

scripts/runOpenTaint.sh

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
#!/usr/bin/env bash
2+
3+
# Check for install/updates at https://github.com/seqra/opentaint
4+
5+
source scripts/requireCommand.sh
6+
7+
requireCommand docker
8+
9+
docker pull ghcr.io/seqra/opentaint
10+
11+
benchmark_version=$(scripts/getBenchmarkVersion.sh 2>/dev/null | tail -1)
12+
opentaint_version=$(docker run --rm ghcr.io/seqra/opentaint opentaint --version | grep -oE 'v[0-9]+\.[0-9]+\.[0-9]+' || docker run --rm ghcr.io/seqra/opentaint opentaint --version | awk '{print $NF}')
13+
result_file="/project/results/Benchmark_$benchmark_version-OpenTaint-$opentaint_version.sarif"
14+
15+
docker run --rm -v $(pwd):/project \
16+
ghcr.io/seqra/opentaint:latest \
17+
opentaint scan \
18+
--severity error \
19+
--severity warning \
20+
--severity note \
21+
--output "$result_file" /project

scripts/runSeqra.sh

Lines changed: 0 additions & 21 deletions
This file was deleted.

0 commit comments

Comments
 (0)