@@ -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