Sync files.

2025-12-22 19:56:32 +01:00 · 2023-05-31 08:46:40 +02:00
parent 3862f8e3c0
commit 06b02eb3ce
5 changed files with 25 additions and 0 deletions
--- a/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll
@@ -180,6 +180,11 @@ module Public {
      result = "Argument[" + getParameterPosition(pos) + "]"
    )
    or
+    exists(string synthetic |
+      sc = TSyntheticGlobalSummaryComponent(synthetic) and
+      result = "SyntheticGlobal[" + synthetic + "]"
+    )
+    or
    sc = TReturnSummaryComponent(getReturnValueKind()) and result = "ReturnValue"
  }