C#: Add missing empty ext column in generated summaries.

2026-05-01 03:35:13 +02:00 · 2022-03-30 09:13:51 +02:00
parent c6fe54c41b
commit 3fe941aae2
4 changed files with 7 additions and 7 deletions
--- a/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll
@@ -1056,8 +1056,8 @@ module Private {
      |
        c.relevantSummary(input, output, preservesValue) and
        csv =
-          c.getCallableCsv() + ";" + getComponentStackCsv(input) + ";" +
-            getComponentStackCsv(output) + ";" + renderKind(preservesValue)
+          c.getCallableCsv() + getComponentStackCsv(input) + ";" + getComponentStackCsv(output) +
+            ";" + renderKind(preservesValue)
      )
    }
  }