Swift: Model Sequence.withContiguousSrtorageIfAvailable.

Author: geoffw0

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

@@ -25,6 +25,7 @@ private class SequenceSummaries extends SummaryModelCsv {
         ";Sequence;true;joined();;;Argument[-1];ReturnValue;taint",
         ";Sequence;true;joined(separator:);;;Argument[-1..0];ReturnValue;taint",
         ";Sequence;true;first(where:);;;Argument[-1];ReturnValue;taint",
+        ";Sequence;true;withContiguousStorageIfAvailable(_:);;;Argument[-1];Argument[0].Parameter[0];taint",
       ]
   }
 }

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

@@ -433,12 +433,12 @@ func taintThroughEncodings() {
 
   clean.withContiguousStorageIfAvailable({
     ptr in
-    sink(arg: ptr)
+    sink(arg: ptr) // $ SPURIOUS: tainted=366
     sink(arg: ptr.baseAddress!)
   })
   tainted.withContiguousStorageIfAvailable({
     ptr in
-    sink(arg: ptr)
+    sink(arg: ptr) // $ tainted=366
     sink(arg: ptr.baseAddress!) // $ MISSING: tainted=366
   })
 }