Restrict to Methods

owen-mc · owen-mc · commit b6a31b1def6f · 2024-11-11T23:50:04.000Z
diff --git 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())
         )
       )

Original file line number	Diff line number	Diff line change
`@@ -243,6 +243,7 @@ module SourceSinkInterpretationInput implements`
`243`	`243`	`(`
`244`	`244`	`not callTarget instanceof Method`
`245`	`245`	`or`
	`246`	`+ callTarget instanceof Method and`
`246`	`247`	`elementAppliesToQualifier(result, cn.getReceiver())`
`247`	`248`	`)`
`248`	`249`	`)`