hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 19:55:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix a model

Browse Source
This commit is contained in:
Joe Farebrother
2023-02-17 15:27:56 +00:00
parent f292e85c51
commit 7b02616f30
2 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/lib/ext/io.netty.handler.codec.http.model.yml
View File

@@ -33,7 +33,7 @@ extensions:
- ["io.netty.handler.codec.http", "HttpRequest", True, "getUri", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http", "HttpRequest", True, "uri", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http", "QueryStringDecoder", True, "QueryStringDecoder", "", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
- ["io.netty.handler.codec.http", "QueryStringDecoder", True, "decodeComponent", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http", "QueryStringDecoder", True, "decodeComponent", "", "", "Argument[0]", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http", "QueryStringDecoder", True, "parameters", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http", "QueryStringDecoder", True, "path", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
- ["io.netty.handler.codec.http", "QueryStringDecoder", True, "rawPath", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"]

12
java/ql/test/library-tests/frameworks/netty/generated/Test.java
View File

@@ -4486,17 +4486,17 @@ public class Test {
sink(out); // $ hasTaintFlow
}
{
// "io.netty.handler.codec.http;QueryStringDecoder;true;decodeComponent;;;Argument[-1];ReturnValue;taint;manual"
// "io.netty.handler.codec.http;QueryStringDecoder;true;decodeComponent;;;Argument[0];ReturnValue;taint;manual"
String out = null;
QueryStringDecoder in = (QueryStringDecoder)source();
out = QueryStringDecoder.decodeComponent(null);
String in = (String)source();
out = QueryStringDecoder.decodeComponent(in);
sink(out); // $ hasTaintFlow
}
{
// "io.netty.handler.codec.http;QueryStringDecoder;true;decodeComponent;;;Argument[-1];ReturnValue;taint;manual"
// "io.netty.handler.codec.http;QueryStringDecoder;true;decodeComponent;;;Argument[0];ReturnValue;taint;manual"
String out = null;
QueryStringDecoder in = (QueryStringDecoder)source();
out = QueryStringDecoder.decodeComponent(null, null);
String in = (String)source();
out = QueryStringDecoder.decodeComponent(in, null);
sink(out); // $ hasTaintFlow
}
{