Use new interpretSpec/2 predicate where appropriate

2026-04-30 19:26:02 +02:00 · 2021-06-29 15:41:38 +01:00
parent 28ab4c083b
commit 92ab650b7d
1 changed files with 2 additions and 2 deletions
--- a/java/ql/src/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll
+++ b/java/ql/src/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll
@@ -688,8 +688,8 @@ module Private {
      ) {
        exists(string inSpec, string outSpec, string kind |
          summaryElement(this, inSpec, outSpec, kind) and
-          interpretSpec(inSpec, 0, input) and
-          interpretSpec(outSpec, 0, output)
+          interpretSpec(inSpec, input) and
+          interpretSpec(outSpec, output)
        |
          kind = "value" and preservesValue = true
          or