Swift: Model the NSString.enumerate* methods.

Author: geoffw0

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

@@ -119,6 +119,10 @@ private class NsStringSummaries extends SummaryModelCsv {
         ";NSString;true;addingPercentEscapes(using:);;;Argument[-1];ReturnValue;taint",
         ";NSString;true;replacingPercentEscapes(using:);;;Argument[-1];ReturnValue;taint",
         ";NSString;true;applyTransform(_:reverse:range:updatedRange:);;;Argument[-1];ReturnValue;taint",
+        ";NSString;true;enumerateLines(_:);;;Argument[-1];Argument[0].Parameter[0];taint",
+        ";NSString;true;enumerateSubstrings(in:options:using:);;;Argument[-1];Argument[2].Parameter[0].OptionalSome;taint",
+        ";NSString;true;enumerateSubstrings(in:options:using:);;;Argument[2].Parameter[0].OptionalSome;Argument[-1];taint",
+        ";NSString;true;enumerateLinguisticTags(in:scheme:options:orthography:using:);;;Argument[-1];Argument[4].Parameter[0].OptionalSome;taint",
         ";NSMutableString;true;append(_:);;;Argument[0];Argument[-1];taint",
         ";NSMutableString;true;insert(_:at:);;;Argument[0];Argument[-1];taint",
         ";NSMutableString;true;replaceCharacters(in:with:);;;Argument[1];Argument[-1];taint",

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

@@ -355,7 +355,7 @@ func taintThroughInterpolatedStrings() {
   }))
   sink(arg: sourceNSString().enumerateLines({
     line, stop in
-    sink(arg: line) // $ MISSING: tainted=
+    sink(arg: line) // $ tainted=356
     sink(arg: stop)
   }))
 
@@ -492,6 +492,6 @@ func moreTests() {
 
   sink(arg: myTainted.enumerateSubstrings(in: myRange, options: [], using: {
     substring, substringRange, enclosingRange, stop in
-    sink(arg: substring!) // $ MISSING: tainted=
+    sink(arg: substring!) // $ tainted=490
   }))
 }