diff --git a/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll b/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll index e6379f6a170..614c785440c 100644 --- a/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll +++ b/go/ql/lib/semmle/go/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" } diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll b/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll index e6379f6a170..614c785440c 100644 --- 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" } diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImpl.qll b/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImpl.qll index e6379f6a170..614c785440c 100644 --- a/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImpl.qll +++ b/python/ql/lib/semmle/python/dataflow/new/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" } diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll index e6379f6a170..614c785440c 100644 --- a/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll +++ b/ruby/ql/lib/codeql/ruby/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" } diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImpl.qll b/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImpl.qll index e6379f6a170..614c785440c 100644 --- a/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImpl.qll +++ b/swift/ql/lib/codeql/swift/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" }