From 453ab9ca7b2948c83ed05a5a50fcdd252854f2f0 Mon Sep 17 00:00:00 2001
From: Rasmus Lerchedahl Petersen <yoff@github.com>
Date: Wed, 6 Dec 2023 09:00:11 +0100
Subject: [PATCH] Python: restrict `LibraryLambdaMethod`

---
 python/ql/lib/semmle/python/dataflow/new/FlowSummary.qll | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/python/ql/lib/semmle/python/dataflow/new/FlowSummary.qll b/python/ql/lib/semmle/python/dataflow/new/FlowSummary.qll
index 95a5233810e..a55880a72b4 100644
--- a/python/ql/lib/semmle/python/dataflow/new/FlowSummary.qll
+++ b/python/ql/lib/semmle/python/dataflow/new/FlowSummary.qll
@@ -96,9 +96,7 @@ private module LibraryCallbackSummaries {
     LibraryLambdaMethod() { this = "<library method accepting a callback>" }
 
     final override CallCfgNode getACall() {
-      exists(ExtractedDataFlowCall call | result.getNode() = call.getNode() |
-        not exists(call.getCallable())
-      )
+      not exists(NormalCall call | result.getNode() = call.getNode())
     }
 
     final override ArgumentNode getACallback() { none() }