diff --git a/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll b/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll index f790bc30f21..8c997410f45 100644 --- a/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll +++ b/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll @@ -21,7 +21,10 @@ predicate parameterPosition(int i) { Node summaryNode(SummarizedCallable c, SummaryNodeState state) { result = getSummaryNode(c, state) } /** Gets the synthesized data-flow call for `receiver`. */ -DataFlowCall summaryDataFlowCall(Node receiver) { none() } +DataFlowCall summaryDataFlowCall(Node receiver) { + // We do not currently have support for callback-based library models. + none() +} /** Gets the type of content `c`. */ DataFlowType getContentType(Content c) { result = c.getType() }