From bf86472f11aa44bccb189a8019870e237671e749 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@indiana.edu>
Date: Mon, 6 Jul 2020 11:23:05 -0400
Subject: [PATCH] Adjust name to distinguish sarif files.

---
 .../workflows/scanbuild_static-analysis.yml   | 51 ++++++++++++++++---
 1 file changed, 45 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/scanbuild_static-analysis.yml b/.github/workflows/scanbuild_static-analysis.yml
index c66b151d84..b196c1ec2c 100644
--- a/.github/workflows/scanbuild_static-analysis.yml
+++ b/.github/workflows/scanbuild_static-analysis.yml
@@ -16,7 +16,7 @@ jobs:
     - name: Install dependencies
       run: |
         apt-get update
-        apt-get install -y libffi-dev unzip python libxml2-dev libfindbin-libs-perl make gcc g++ git tree
+        apt-get install -y libffi-dev unzip python libxml2-dev libfindbin-libs-perl make gcc g++ git tree jq moreutils
     - uses: actions/checkout@v2
       with:
         fetch-depth: 100
@@ -42,11 +42,24 @@ jobs:
       working-directory: ./racket/src
       run: |
         export cpus=$(grep -c ^processor /proc/cpuinfo)
-        scan-build -sarif -o ../../racketcgc-report -analyzer-config 'crosscheck-with-z3=true' make -j$((cpus + 1))
+        scan-build -sarif -o ../../racketcgc-report -analyzer-config 'crosscheck-with-z3=true' make -j$((cpus + 1)) cgc
     - name: Move sarif results
       run: |
         mkdir sarif-files
         find racketcgc-report -type f -name '*.sarif' -exec cp \{\} sarif-files/ \;
+    - name: Adjust tool name
+      run: |
+        cd sarif-files
+        cat > adjust.sh <<EOF
+        #!/bin/bash
+        shopt -s globstar
+        for file in **/*.sarif; do
+          jq "setpath([\"runs\",0,\"tool\",\"driver\",\"name\"]; \"clang-$1\")" $file | sponge $file
+        done
+        EOF
+        chmod +x adjust.sh
+        ./adjust.sh cgc
+
     - name: Upload SARIF
       uses: github/codeql-action/upload-sarif@v1
       if: always()
@@ -69,7 +82,7 @@ jobs:
     - name: Install dependencies
       run: |
         apt-get update
-        apt-get install -y libffi-dev unzip python libxml2-dev libfindbin-libs-perl make gcc g++ git
+        apt-get install -y libffi-dev unzip python libxml2-dev libfindbin-libs-perl make gcc g++ git jq moreutils
     - uses: actions/checkout@v2
       with:
         fetch-depth: 100
@@ -103,11 +116,24 @@ jobs:
       working-directory: ./racket/src
       run: |
         export cpus=$(grep -c ^processor /proc/cpuinfo)
-        scan-build -sarif -o ../../racket3m-report -analyzer-config 'crosscheck-with-z3=true' make -j$((cpus + 1))
+        scan-build -sarif -o ../../racket3m-report -analyzer-config 'crosscheck-with-z3=true' make -j$((cpus + 1)) 3m
     - name: Move sarif results
       run: |
         mkdir sarif-files
         find racket3m-report -type f -name '*.sarif' -exec cp \{\} sarif-files/ \;
+    - name: Adjust tool name
+      run: |
+        cd sarif-files
+        cat > adjust.sh <<EOF
+        #!/bin/bash
+        shopt -s globstar
+        for file in **/*.sarif; do
+          jq "setpath([\"runs\",0,\"tool\",\"driver\",\"name\"]; \"clang-$1\")" $file | sponge $file
+        done
+        EOF
+        chmod +x adjust.sh
+        ./adjust.sh 3m
+
     - name: Upload SARIF
       uses: github/codeql-action/upload-sarif@v1
       if: always()
@@ -130,7 +156,7 @@ jobs:
     - name: Install pkg dependencies
       run: |
         apt update
-        apt install -y libffi-dev unzip python libxml2-dev libfindbin-libs-perl make gcc g++ git uuid-dev git
+        apt install -y libffi-dev unzip python libxml2-dev libfindbin-libs-perl make gcc g++ git uuid-dev jq moreutils
     - uses: actions/checkout@v2
       with:
         fetch-depth: 100
@@ -164,11 +190,24 @@ jobs:
       working-directory: ./racket/src
       run: |
         export cpus=$(grep -c ^processor /proc/cpuinfo)
-        scan-build -sarif -o ../../racketcs-report -analyzer-config 'crosscheck-with-z3=true' make -j $((cpus+1))
+        scan-build -sarif -o ../../racketcs-report -analyzer-config 'crosscheck-with-z3=true' make -j $((cpus+1)) cs
     - name: Move sarif results
       run: |
         mkdir sarif-files
         find racketcs-report -type f -name '*.sarif' -exec cp \{\} sarif-files/ \;
+    - name: Adjust tool name
+      run: |
+        cd sarif-files
+        cat > adjust.sh <<EOF
+        #!/bin/bash
+        shopt -s globstar
+        for file in **/*.sarif; do
+          jq "setpath([\"runs\",0,\"tool\",\"driver\",\"name\"]; \"clang-$1\")" $file | sponge $file
+        done
+        EOF
+        chmod +x adjust.sh
+        ./adjust.sh cs
+
     - name: Upload SARIF
       uses: github/codeql-action/upload-sarif@v1
       if: always()