diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 7af634096..7834987f1 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -14,7 +14,7 @@ jobs: fail-fast: false matrix: group: [ cfi-tests, downstream-ontology, downstream-security-demo, downstream-universe ] - jdk: [ 8, 11, 17 ] + jdk: [ 8, 11, 17, 21] runs-on: ubuntu-latest steps: - name: Install dependencies @@ -52,7 +52,7 @@ jobs: python3 -m pip install --upgrade pip if [ -f requirements.txt ]; then pip install -r requirements.txt; fi - name: Spotless Check - if: matrix.jdk == 11 || matrix.jdk == 17 + if: matrix.jdk != 8 run: ./gradlew spotlessCheck - name: Build run: | diff --git a/src/checkers/inference/solver/backend/logiql/LogicBloxRunner.java b/src/checkers/inference/solver/backend/logiql/LogicBloxRunner.java index 98026832b..ed979b4fe 100644 --- a/src/checkers/inference/solver/backend/logiql/LogicBloxRunner.java +++ b/src/checkers/inference/solver/backend/logiql/LogicBloxRunner.java @@ -56,7 +56,8 @@ public void runLogicBlox() { */ private void getOutPut_Error(String command, final int i) throws IOException, InterruptedException { - final Process p = Runtime.getRuntime().exec(command); + ProcessBuilder processBuilder = new ProcessBuilder(command.split(" ")); + final Process p = processBuilder.start(); Thread getOutPut = new Thread() { @Override diff --git a/testdata/ostrusted-not-inferrable-test/RuntimeExec.java b/testdata/ostrusted-not-inferrable-test/RuntimeExec.java index b530ab271..f682adbee 100644 --- a/testdata/ostrusted-not-inferrable-test/RuntimeExec.java +++ b/testdata/ostrusted-not-inferrable-test/RuntimeExec.java @@ -3,7 +3,7 @@ import java.io.File; import java.io.IOException; - +@SuppressWarnings("deprecation") class RuntimeExec { @OsTrusted String trustedField = "";