Sync FlowSummaryImpl.qll

2026-04-26 09:15:12 +02:00 · 2021-06-29 15:59:55 +01:00
parent 47ccb19b84
commit bb5fefa47f
1 changed files with 2 additions and 2 deletions
--- a/csharp/ql/src/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll
+++ b/csharp/ql/src/semmle/code/csharp/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