Skip to content

Commit 6103c57

Browse files
committed
Address comments
1 parent cbf4197 commit 6103c57

File tree

1 file changed

+6
-6
lines changed

1 file changed

+6
-6
lines changed

ruby/ql/lib/codeql/ruby/frameworks/ActiveSupport.qll

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -328,7 +328,7 @@ module ActiveSupport {
328328
override MethodCall getACall() { result = mc }
329329

330330
override predicate propagatesFlowExt(string input, string output, boolean preservesValue) {
331-
input = "Argument[self].Element[0].Element[" + key + "!]" and
331+
input = "Argument[self].Element[0].Element[" + key + "]" and
332332
output = "ReturnValue" and
333333
preservesValue = true
334334
}
@@ -361,8 +361,8 @@ module ActiveSupport {
361361
override predicate propagatesFlowExt(string input, string output, boolean preservesValue) {
362362
exists(string s, int i |
363363
s = getKeyArgument(mc, i) and
364-
input = "Argument[self].Element[0].Element[" + s + "!]" and
365-
output = "ReturnValue.Element[" + i + "!]"
364+
input = "Argument[self].Element[0].Element[" + s + "]" and
365+
output = "ReturnValue.Element[" + i + "]"
366366
) and
367367
preservesValue = true
368368
}
@@ -382,7 +382,7 @@ module ActiveSupport {
382382
override MethodCall getACall() { result = mc }
383383

384384
override predicate propagatesFlowExt(string input, string output, boolean preservesValue) {
385-
input = "Argument[self].Element[any].Element[" + key + "!]" and
385+
input = "Argument[self].Element[any].Element[" + key + "]" and
386386
output = "ReturnValue.Element[any]" and
387387
preservesValue = true
388388
}
@@ -415,8 +415,8 @@ module ActiveSupport {
415415
override predicate propagatesFlowExt(string input, string output, boolean preservesValue) {
416416
exists(string s, int i |
417417
s = getKeyArgument(mc, i) and
418-
input = "Argument[self].Element[any].Element[" + s + "!]" and
419-
output = "ReturnValue.Element[?].Element[" + i + "!]"
418+
input = "Argument[self].Element[any].Element[" + s + "]" and
419+
output = "ReturnValue.Element[?].Element[" + i + "]"
420420
) and
421421
preservesValue = true
422422
}

0 commit comments

Comments
 (0)