Java: Fix ratpack flow.

aschackmull · aschackmull · commit 70bef64e2a4f · 2023-08-03T10:04:05.000+02:00
diff --git a/java/ql/lib/ext/ratpack.exec.model.yml b/java/ql/lib/ext/ratpack.exec.model.yml
@@ -3,6 +3,7 @@ extensions:
       pack: codeql/java-all
       extensible: summaryModel
     data:
+      - ["ratpack.exec", "Operation", True, "of", "(Block)", "", "Argument[0]", "Argument[0].Parameter[this]", "value", "manual"]
       - ["ratpack.exec", "Promise", True, "apply", "", "", "Argument[this].Element", "Argument[0].Parameter[0].Element", "value", "manual"]
       - ["ratpack.exec", "Promise", True, "apply", "", "", "Argument[0].ReturnValue.Element", "ReturnValue.Element", "value", "manual"]
       - ["ratpack.exec", "Promise", True, "blockingMap", "", "", "Argument[this].Element", "Argument[0].Parameter[0]", "value", "manual"]
diff --git a/java/ql/test/library-tests/frameworks/ratpack/resources/Resource.java b/java/ql/test/library-tests/frameworks/ratpack/resources/Resource.java
@@ -361,13 +361,13 @@ void test15() {
         Promise
             .value(tainted)
             .nextOp(value -> Operation.of(() -> {
-                sink(value); // MISSING: $hasTaintFlow
+                sink(value); //$hasTaintFlow
             }))
             .nextOpIf(value -> {
                 sink(value); //$hasTaintFlow
                 return true;
             }, value -> Operation.of(() -> {
-                sink(value); // MISSING: $hasTaintFlow
+                sink(value); //$hasTaintFlow
             }))
             .then(value -> {
                 sink(value); //$hasTaintFlow
@@ -379,7 +379,7 @@ void test16() {
         Promise
             .value(tainted)
             .flatOp(value ->  Operation.of(() -> {
-                sink(value); // MISSING: $hasTaintFlow
+                sink(value); //$hasTaintFlow
             }));
     }
 
