Skip to content

Commit 557a684

Browse files
authored
Merge pull request #419 from seqradev/seqradev/add-seqra
Add OpenTaint static analyzer support
2 parents c3dfdb9 + 52ff778 commit 557a684

1 file changed

Lines changed: 21 additions & 0 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 | 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

0 commit comments

Comments
 (0)