Swift: Model UnsafeMutablePointer.init(mutating:).

Author: geoffw0

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

@@ -4,6 +4,7 @@
  */
 
 import swift
+private import codeql.swift.dataflow.ExternalFlow
 
 /**
  * A Swift unsafe typed pointer type such as `UnsafePointer`,
@@ -57,3 +58,16 @@ class CVaListPointerType extends NominalType {
 class ManagedBufferPointerType extends BoundGenericType {
   ManagedBufferPointerType() { this.getName().matches("ManagedBufferPointer<%") }
 }
+
+
+/**
+ * A model for pointer members that permit taint flow.
+ */
+private class PointerSummaries extends SummaryModelCsv {
+  override predicate row(string row) {
+    row =
+      [
+        ";UnsafeMutablePointer;true;init(mutating:);;;Argument[0];ReturnValue;taint",
+      ]
+  }
+}

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

@@ -12,6 +12,7 @@ private import NsData
 private import NsObject
 private import NsString
 private import NsUrl
+private import PointerTypes
 private import Sequence
 private import String
 private import Url