Swift: Correct models in Data.qll.

Author: geoffw0

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

@@ -26,9 +26,9 @@ private class DataSummaries extends SummaryModelCsv {
         ";Data;true;base64EncodedData(options:);;;Argument[-1];ReturnValue;taint",
         ";Data;true;base64EncodedString(options:);;;Argument[-1];ReturnValue;taint",
         ";Data;true;compactMap(_:);;;Argument[-1];ReturnValue;taint",
-        ";Data;true;copyBytes(to:);;;Argument[-1];Argument[0];taint",
-        ";Data;true;copyBytes(to:count:);;;Argument[-1];Argument[0];taint",
-        ";Data;true;copyBytes(to:from:);;;Argument[-1];Argument[0];taint",
+        ";DataProtocol;true;copyBytes(to:);;;Argument[-1];Argument[0];taint",
+        ";DataProtocol;true;copyBytes(to:count:);;;Argument[-1];Argument[0];taint",
+        ";DataProtocol;true;copyBytes(to:from:);;;Argument[-1];Argument[0];taint",
         ";Data;true;flatMap(_:);;;Argument[-1];ReturnValue;taint",
         ";Data;true;insert(contentsOf:at:);;;Argument[0];Argument[-1];taint",
         ";Data;true;map(_:);;;Argument[-1];ReturnValue;taint",

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

@@ -277,10 +277,10 @@ func taintThroughData() {
 	let dataTainted43 = source() as! UnsafeRawBufferPointer
 	let pointerTainted43 = UnsafeMutableRawBufferPointer.allocate(byteCount: 0, alignment: 0)
 	dataTainted43.copyBytes(to: pointerTainted43)
-	sink(arg: pointerTainted43) // $ MISSING: tainted=277
+	sink(arg: pointerTainted43) // $ tainted=277
 
 	let dataTainted44 = source() as! Array<UInt8>
 	let pointerTainted44 = UnsafeMutableRawBufferPointer.allocate(byteCount: 0, alignment: 0)
 	dataTainted44.copyBytes(to: pointerTainted44)
-	sink(arg: pointerTainted44) // $ MISSING: tainted=282
+	sink(arg: pointerTainted44) // $ tainted=282
 }