diff --git a/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll b/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll index 4e2d1552dab9..4770297bfcc4 100644 --- a/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll +++ b/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImpl.qll @@ -243,6 +243,7 @@ module SourceSinkInterpretationInput implements ( not callTarget instanceof Method or + callTarget instanceof Method and elementAppliesToQualifier(result, cn.getReceiver()) ) )