From d8da4fb1f4447386b4df28a295fb10dd1ec16f6b Mon Sep 17 00:00:00 2001 From: Joe Farebrother Date: Tue, 31 Jan 2023 16:18:30 +0000 Subject: [PATCH] Add websocket models --- .../ext/io.netty.handler.codec.http.websocketx.model.yml | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 java/ql/lib/ext/io.netty.handler.codec.http.websocketx.model.yml diff --git a/java/ql/lib/ext/io.netty.handler.codec.http.websocketx.model.yml b/java/ql/lib/ext/io.netty.handler.codec.http.websocketx.model.yml new file mode 100644 index 00000000000..86d4c3c8240 --- /dev/null +++ b/java/ql/lib/ext/io.netty.handler.codec.http.websocketx.model.yml @@ -0,0 +1,8 @@ +extensions: +- addsTo: + pack: codeql/java-all + extensible: summaryModel + data: + - ["io.netty.handler.codec.http.websocketx", "CloseWebSocketFrame", True, "reasonText", "()", "", "Argument[-1]", "ReturnValue", "taint", "manual"] + - ["io.netty.handler.codec.http.websocketx", "ContinuationWebSocketFrame", True, "text", "()", "", "Argument[-1]", "ReturnValue", "taint", "manual"] + - ["io.netty.handler.codec.http.websocketx", "TextWebSocketFrame", True, "text", "()", "", "Argument[-1]", "ReturnValue", "taint", "manual"] \ No newline at end of file