Skip to content

Commit 7b02616

Browse files
Fix a model
1 parent f292e85 commit 7b02616

File tree

2 files changed

+7
-7
lines changed

2 files changed

+7
-7
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,7 @@ extensions:
3333
- ["io.netty.handler.codec.http", "HttpRequest", True, "getUri", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
3434
- ["io.netty.handler.codec.http", "HttpRequest", True, "uri", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
3535
- ["io.netty.handler.codec.http", "QueryStringDecoder", True, "QueryStringDecoder", "", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
36-
- ["io.netty.handler.codec.http", "QueryStringDecoder", True, "decodeComponent", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
36+
- ["io.netty.handler.codec.http", "QueryStringDecoder", True, "decodeComponent", "", "", "Argument[0]", "ReturnValue", "taint", "manual"]
3737
- ["io.netty.handler.codec.http", "QueryStringDecoder", True, "parameters", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
3838
- ["io.netty.handler.codec.http", "QueryStringDecoder", True, "path", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
3939
- ["io.netty.handler.codec.http", "QueryStringDecoder", True, "rawPath", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"]

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

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -4486,17 +4486,17 @@ public void test() throws Exception {
44864486
sink(out); // $ hasTaintFlow
44874487
}
44884488
{
4489-
// "io.netty.handler.codec.http;QueryStringDecoder;true;decodeComponent;;;Argument[-1];ReturnValue;taint;manual"
4489+
// "io.netty.handler.codec.http;QueryStringDecoder;true;decodeComponent;;;Argument[0];ReturnValue;taint;manual"
44904490
String out = null;
4491-
QueryStringDecoder in = (QueryStringDecoder)source();
4492-
out = QueryStringDecoder.decodeComponent(null);
4491+
String in = (String)source();
4492+
out = QueryStringDecoder.decodeComponent(in);
44934493
sink(out); // $ hasTaintFlow
44944494
}
44954495
{
4496-
// "io.netty.handler.codec.http;QueryStringDecoder;true;decodeComponent;;;Argument[-1];ReturnValue;taint;manual"
4496+
// "io.netty.handler.codec.http;QueryStringDecoder;true;decodeComponent;;;Argument[0];ReturnValue;taint;manual"
44974497
String out = null;
4498-
QueryStringDecoder in = (QueryStringDecoder)source();
4499-
out = QueryStringDecoder.decodeComponent(null, null);
4498+
String in = (String)source();
4499+
out = QueryStringDecoder.decodeComponent(in, null);
45004500
sink(out); // $ hasTaintFlow
45014501
}
45024502
{

0 commit comments

Comments
 (0)