Integrate merge queue actions

CROSSINGTUD · Nov 14, 2024 · a5b88ca · a5b88ca
1 parent 4aec4e8
commit a5b88ca
Show file tree

Hide file tree

Showing 9 changed files with 153 additions and 75 deletions.
diff --git a/.github/workflows/build_analysis.yml b/.github/workflows/build_analysis.yml
diff --git a/.github/workflows/build_and_test.yml b/.github/workflows/build_and_test.yml
@@ -0,0 +1,60 @@
+name: Build And Test (Basic)
+description: Basic build and tests for the submodules on each push and pull request
+
+on:
+  push:
+  pull_request:
+    types: [opened, reopened]
+
+env:
+  JAVA_VERSION: 11
+
+jobs:
+  # Build the CryptoAnalysis module and run its tests
+  build-and-test-analysis:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout source code
+        uses: actions/checkout@v4
+      # Sets up Java version
+      - name: Set up Java
+        uses: actions/setup-java@v4
+        with:
+          distribution: 'adopt'
+          java-package: jdk
+          java-version: $JAVA_VERSION
+      # Restores Maven dependecies
+      - name: Restore local Maven repository
+        uses: actions/cache@v4
+        with:
+          path: ~/.m2/repository
+          key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
+          restore-keys: |
+            ${{ runner.os }}-maven-
+      - name: Run maven command
+        run: mvn clean verify -DrunAnalysisTests
+
+  # Build the HeadlessJavaScanner module and run its tests using Soot
+  # as the static analysis framework
+  build-and-test-scanner-soot:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout source code
+        uses: actions/checkout@v4
+      # Sets up Java version
+      - name: Set up Java
+        uses: actions/setup-java@v4
+        with:
+          distribution: 'adopt'
+          java-package: jdk
+          java-version: $JAVA_VERSION
+      # Restores Maven dependecies
+      - name: Restore local Maven repository
+        uses: actions/cache@v4
+        with:
+          path: ~/.m2/repository
+          key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
+          restore-keys: |
+            ${{ runner.os }}-maven-
+      - name: Run maven command
+        run: mvn clean verify -DrunSootTests
diff --git a/.github/workflows/build_soot.yml b/.github/workflows/build_soot.yml
diff --git a/.github/workflows/deploy_and_release.yml b/.github/workflows/deploy_and_release.yml
@@ -15,7 +15,7 @@ jobs:
           fetch-depth: 0
 
       - name: Set up Java
-        uses: actions/setup-java@v3
+        uses: actions/setup-java@v4
         with:
           distribution: 'adopt'
           java-package: 'jdk'

diff --git a/.github/workflows/merge_queue_mac.yml b/.github/workflows/merge_queue_mac.yml
@@ -3,8 +3,11 @@ name: Build And Test (MacOS)
 on:
   merge_group:
 
+env:
+  JAVA_VERSION: 11
+
 jobs:
-  # This name must be equal to the corresponding build_analysis job
+  # This name must be equal to the corresponding build_and_test action
   build-and-test-analysis:
     runs-on: macos-latest
     steps:
@@ -16,7 +19,31 @@ jobs:
         with:
           distribution: 'adopt'
           java-package: jdk
-          java-version: '11'
+          java-version: $JAVA_VERSION
+      # Restores Maven dependecies
+      - name: Restore local Maven repository
+        uses: actions/cache@v4
+        with:
+          path: ~/.m2/repository
+          key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
+          restore-keys: |
+            ${{ runner.os }}-maven-
+      - name: Run maven command
+        run: mvn clean verify -DrunAnalysisTests
+
+  # This name must be equal to the corresponding build_and_test action
+  build-and-test-scanner-soot:
+    runs-on: macos-latest
+    steps:
+      - name: Checkout source code
+        uses: actions/checkout@v4
+      # Sets up Java version
+      - name: Set up Java
+        uses: actions/setup-java@v4
+        with:
+          distribution: 'adopt'
+          java-package: jdk
+          java-version: $JAVA_VERSION
       # Restores Maven dependecies
       - name: Restore local Maven repository
         uses: actions/cache@v4
@@ -26,4 +53,4 @@ jobs:
           restore-keys: |
             ${{ runner.os }}-maven-
       - name: Run maven command
-        run: mvn clean verify
+        run: mvn clean verify -DrunSootTests
diff --git a/.github/workflows/merge_queue_ubuntu.yml b/.github/workflows/merge_queue_ubuntu.yml
@@ -3,8 +3,11 @@ name: Build And Test (Ubuntu)
 on:
   merge_group:
 
+env:
+  JAVA_VERSION: 11
+
 jobs:
-  # This name must be equal to the corresponding build_analysis job
+  # This name must be equal to the corresponding build_and_test job
   build-and-test-analysis:
     runs-on: ubuntu-latest
     steps:
@@ -26,4 +29,28 @@ jobs:
           restore-keys: |
             ${{ runner.os }}-maven-
       - name: Run maven command
-        run: mvn clean verify
+        run: mvn clean verify -DrunAnalysisTests
+
+  # This name must be equal to the corresponding build_and_test job
+  build-and-test-scanner-soot:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout source code
+        uses: actions/checkout@v4
+      # Sets up Java version
+      - name: Set up Java
+        uses: actions/setup-java@v4
+        with:
+          distribution: 'adopt'
+          java-package: jdk
+          java-version: $JAVA_VERSION
+      # Restores Maven dependecies
+      - name: Restore local Maven repository
+        uses: actions/cache@v4
+        with:
+          path: ~/.m2/repository
+          key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
+          restore-keys: |
+            ${{ runner.os }}-maven-
+      - name: Run maven command
+        run: mvn clean verify -DrunSootTests
diff --git a/.github/workflows/merge_queue_windows.yml b/.github/workflows/merge_queue_windows.yml
@@ -3,8 +3,11 @@ name: Build And Test (Windows)
 on:
   merge_group:
 
+env:
+  JAVA_VERSION: 11
+
 jobs:
-  # This name must be equal to the corresponding build_analysis job
+  # This name must be equal to the corresponding build_and_test job
   build-and-test-analysis:
     runs-on: windows-latest
     steps:
@@ -26,4 +29,28 @@ jobs:
           restore-keys: |
             ${{ runner.os }}-maven-
       - name: Run maven command
-        run: mvn clean verify
+        run: mvn clean verify -DrunAnalysisTests
+
+  # This name must be equal to the corresponding build_and_test job
+  build-and-test-scanner-soot:
+    runs-on: windows-latest
+    steps:
+      - name: Checkout source code
+        uses: actions/checkout@v4
+      # Sets up Java version
+      - name: Set up Java
+        uses: actions/setup-java@v4
+        with:
+          distribution: 'adopt'
+          java-package: jdk
+          java-version: $JAVA_VERSION
+      # Restores Maven dependecies
+      - name: Restore local Maven repository
+        uses: actions/cache@v4
+        with:
+          path: ~/.m2/repository
+          key: ${{ runner.os }}-maven-${{ hashFiles('**/pom.xml') }}
+          restore-keys: |
+            ${{ runner.os }}-maven-
+      - name: Run maven command
+        run: mvn clean verify -DrunSootTests
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -8,7 +8,7 @@ jobs:
     name: Test CryptoAnalysis Action
     steps:
       - name: Checkout source code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: Run CogniCrypt
         uses: ./
         with:

diff --git a/.github/workflows/version.yml b/.github/workflows/version.yml
@@ -14,12 +14,12 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout source code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0
       # Sets up Java version
       - name: Set up Java
-        uses: actions/setup-java@v3
+        uses: actions/setup-java@v4
         with:
           distribution: 'adopt'
           java-package: jdk
@@ -82,7 +82,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout source code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0
       # Semantic versioning