From ac48eca9169b0ddd506564f3f075aedf96f37b5c Mon Sep 17 00:00:00 2001
From: Taus <tausbn@github.com>
Date: Mon, 23 Mar 2026 15:26:00 +0000
Subject: [PATCH] Python: Use `cls.getMethod` instead of `getName`

---
 .../semmle/python/dataflow/new/internal/DataFlowDispatch.qll   | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatch.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatch.qll
index d1af9585275..1db6c08f5f4 100644
--- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatch.qll
+++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatch.qll
@@ -2145,8 +2145,7 @@ module DuckTyping {
     exists(Class cls |
       f.getScope() = cls and
       superclass = getADirectSuperclass+(cls) and
-      overridden = superclass.getAMethod() and
-      overridden.getName() = f.getName()
+      overridden = superclass.getMethod(f.getName())
     )
   }