From 83155df1f7265fc33317d07859976094651c3f8e Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Thu, 26 Feb 2026 18:21:11 +0000 Subject: [PATCH] C#: Add 'System.Net.WebSockets.ReceiveAsync' flow source. --- csharp/ql/lib/ext/System.Net.WebSockets.model.yml | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 csharp/ql/lib/ext/System.Net.WebSockets.model.yml diff --git a/csharp/ql/lib/ext/System.Net.WebSockets.model.yml b/csharp/ql/lib/ext/System.Net.WebSockets.model.yml new file mode 100644 index 00000000000..23a14504a57 --- /dev/null +++ b/csharp/ql/lib/ext/System.Net.WebSockets.model.yml @@ -0,0 +1,6 @@ +extensions: + - addsTo: + pack: codeql/csharp-all + extensible: sourceModel + data: + - ["System.Net.WebSockets", "WebSocket", True, "ReceiveAsync", "", "", "Argument[0]", "remote", "manual"]