Swift: Model Sequence.forEach as well.

Author: geoffw0

swift/ql/lib/codeql/swift/frameworks/StandardLibrary/Sequence.qll

@@ -49,6 +49,7 @@ private class SequenceSummaries extends SummaryModelCsv {
         ";Sequence;true;withContiguousStorageIfAvailable(_:);;;Argument[-1];Argument[0].Parameter[0].CollectionElement;taint",
         ";Sequence;true;withContiguousStorageIfAvailable(_:);;;Argument[-1].CollectionElement;Argument[0].Parameter[0].CollectionElement;value",
         ";Sequence;true;withContiguousStorageIfAvailable(_:);;;Argument[0].ReturnValue;ReturnValue.OptionalSome;value",
+        ";Sequence;true;forEach(_:);;;Argument[-1].CollectionElement;Argument[0].Parameter[0];value",
         ";Sequence;true;makeIterator();;;Argument[-1].CollectionElement;ReturnValue.CollectionElement;value",
         ";Sequence;true;min();;;Argument[-1].CollectionElement;ReturnValue.OptionalSome;taint",
         ";Sequence;true;min(by:);;;Argument[-1].CollectionElement;ReturnValue.OptionalSome;taint",

swift/ql/test/library-tests/dataflow/taint/libraries/set.swift

@@ -38,7 +38,7 @@ func testSet(ix: Int) {
   }
   taintedSet.forEach {
     elem in
-    sink(arg: elem) // $ MISSING: tainted=
+    sink(arg: elem) // $ tainted=t1
   }
 
   var set1 = Set<Int>()