Ruby: Add test for Argument[any] and any-named

Author: RasmusWL

ruby/ql/test/library-tests/dataflow/summaries/Summaries.expected

@@ -254,6 +254,8 @@ warning
 | CSV type row should have 5 columns but has 8: test;TooManyColumns;;;Member[Foo].Instance;too;many;columns |
 | Invalid argument '0-1' in token 'Argument[0-1]' in access path: Method[foo].Argument[0-1] |
 | Invalid argument '*' in token 'Argument[*]' in access path: Method[foo].Argument[*] |
+| Invalid argument 'any' in token 'Argument[any]' in access path: Member[Foo].Method[sinkAnyArg].Argument[any] |
+| Invalid argument 'any-named' in token 'Argument[any-named]' in access path: Member[Foo].Method[sinkAnyNamedArg].Argument[any-named] |
 | Invalid token 'Argument' is missing its arguments, in access path: Method[foo].Argument |
 | Invalid token 'Member' is missing its arguments, in access path: Method[foo].Member |
 | Invalid token name 'Arg' in access path: Method[foo].Arg[0] |

ruby/ql/test/library-tests/dataflow/summaries/Summaries.ql

@@ -115,7 +115,14 @@ private class InvalidTypeModel extends ModelInput::TypeModelCsv {
 }
 
 private class SinkFromModel extends ModelInput::SinkModelCsv {
-  override predicate row(string row) { row = "test;FooOrBar;Method[method].Argument[0];test-sink" }
+  override predicate row(string row) {
+    row =
+    [
+      "test;FooOrBar;Method[method].Argument[0];test-sink", //
+      ";;Member[Foo].Method[sinkAnyArg].Argument[any];test-sink", //
+      ";;Member[Foo].Method[sinkAnyNamedArg].Argument[any-named];test-sink", //
+    ]
+  }
 }
 
 class CustomValueSink extends DefaultValueFlowConf {

ruby/ql/test/library-tests/dataflow/summaries/summaries.rb

@@ -95,3 +95,9 @@ def userDefinedFunction(x, y)
 x = Foo.new
 x.flowToSelf(tainted)
 sink(x) # $ hasTaintFlow=tainted
+
+Foo.sinkAnyArg(tainted) # $ MISSING: hasTaintFlow=tainted
+Foo.sinkAnyArg(key: tainted) # $ MISSING: hasTaintFlow=tainted
+
+Foo.sinkAnyNamedArg(tainted)
+Foo.sinkAnyNamedArg(key: tainted) # $ MISSING: hasTaintFlow=tainted