@@ -328,7 +328,7 @@ module ActiveSupport {
328
328
override MethodCall getACall ( ) { result = mc }
329
329
330
330
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
332
332
output = "ReturnValue" and
333
333
preservesValue = true
334
334
}
@@ -361,8 +361,8 @@ module ActiveSupport {
361
361
override predicate propagatesFlowExt ( string input , string output , boolean preservesValue ) {
362
362
exists ( string s , int i |
363
363
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 + "]"
366
366
) and
367
367
preservesValue = true
368
368
}
@@ -382,7 +382,7 @@ module ActiveSupport {
382
382
override MethodCall getACall ( ) { result = mc }
383
383
384
384
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
386
386
output = "ReturnValue.Element[any]" and
387
387
preservesValue = true
388
388
}
@@ -415,8 +415,8 @@ module ActiveSupport {
415
415
override predicate propagatesFlowExt ( string input , string output , boolean preservesValue ) {
416
416
exists ( string s , int i |
417
417
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 + "]"
420
420
) and
421
421
preservesValue = true
422
422
}
0 commit comments