address code review feedback

2026-04-25 00:35:20 +02:00 · 2023-07-13 12:24:19 +02:00
parent 69efddbaef
commit 10cd649ba7
2 changed files with 26 additions and 1 deletions
--- a/python/ql/lib/semmle/python/frameworks/Aiohttp.qll
+++ b/python/ql/lib/semmle/python/frameworks/Aiohttp.qll
@@ -719,7 +719,7 @@ private module AiohttpClientModel {
      override DataFlow::Node getAUrlPart() {
        result = this.getArgByName("url")
        or
-        not methodName = "request" and
+        methodName in [Http::httpVerbLower(), "ws_connect"] and
        result = this.getArg(0)
        or
        methodName = "request" and