unified: Add tests for explicit '.init' at constructor call

Author: asgerf

unified/ql/test/library-tests/mad/test.expected

@@ -1,22 +1,22 @@
 isSink
-| test.swift:8:28:8:33 | string | path-injection |
-| test.swift:10:25:10:30 | string | path-injection |
-| test.swift:13:25:13:30 | string | path-injection |
-| test.swift:17:17:17:22 | string | path-injection |
-| test.swift:20:5:20:16 | [receiver arg] ... .md5(...) | weak-hash-input-MD5 |
-| test.swift:22:20:22:25 | string | regex-use |
+| test.swift:9:28:9:33 | string | path-injection |
+| test.swift:11:25:11:30 | string | path-injection |
+| test.swift:14:25:14:30 | string | path-injection |
+| test.swift:18:17:18:22 | string | path-injection |
+| test.swift:21:5:21:16 | [receiver arg] ... .md5(...) | weak-hash-input-MD5 |
 | test.swift:23:20:23:25 | string | regex-use |
-| test.swift:70:37:70:49 | encodedOffset | string-length |
-| test.swift:74:24:74:36 | encryptionKey | encryption-key |
-| test.swift:75:18:75:24 | fileURL | path-injection |
-| test.swift:86:24:86:36 | encryptionKey | encryption-key |
-| test.swift:87:18:87:24 | fileURL | path-injection |
-| test.swift:93:23:93:34 | seedFilePath | path-injection |
+| test.swift:24:20:24:25 | string | regex-use |
+| test.swift:71:37:71:49 | encodedOffset | string-length |
+| test.swift:76:24:76:36 | encryptionKey | encryption-key |
+| test.swift:77:18:77:24 | fileURL | path-injection |
+| test.swift:100:24:100:36 | encryptionKey | encryption-key |
+| test.swift:101:18:101:24 | fileURL | path-injection |
+| test.swift:107:23:107:34 | seedFilePath | path-injection |
 isSource
 | test.swift:4:5:4:27 | String(...) | remote |
 | test.swift:5:5:5:44 | String(...) | remote |
 | test.swift:6:5:6:48 | String(...) | remote |
-| test.swift:8:5:8:34 | String(...) | local |
-| test.swift:9:5:11:24 | String(...) | local |
-| test.swift:12:5:14:28 | String(...) | local |
-| test.swift:28:29:28:32 | text | local |
+| test.swift:9:5:9:34 | String(...) | local |
+| test.swift:10:5:12:24 | String(...) | local |
+| test.swift:13:5:15:28 | String(...) | local |
+| test.swift:29:29:29:32 | text | local |

unified/ql/test/library-tests/mad/test.swift

@@ -4,6 +4,7 @@ func test(url: URL, string: String) {
     String(contentsOf: url)  // $ isSource=remote
     String(contentsOf: url, encoding: .utf8)  // $ isSource=remote
     String(contentsOf: url, usedEncoding: .utf8)  // $ isSource=remote
+    String.init(contentsOf: url)  // $ MISSING: isSource=remote
 
     String(contentsOfFile: string)  // $ isSource=local isSink=path-injection
     String(
@@ -68,6 +69,7 @@ func testQualifiedConstructors(
     seedFilePath: String
 ) {
     _ = String.Index(encodedOffset: encodedOffset)  // $ isSink=string-length
+    _ = String.Index.init(encodedOffset: encodedOffset)  // $ MISSING: isSink=string-length
 
     _ = Realm.Configuration(
         deleteRealmIfMigrationNeeded: false,
@@ -81,6 +83,18 @@ func testQualifiedConstructors(
         shouldCompactOnLaunch: nil,
         syncConfiguration: nil)
 
+    _ = Realm.Configuration.init(
+        deleteRealmIfMigrationNeeded: false,
+        encryptionKey: encryptionKey,  // $ MISSING: isSink=encryption-key
+        fileURL: fileURL,  // $ MISSING: isSink=path-injection
+        inMemoryIdentifier: nil,
+        migrationBlock: nil,
+        objectTypes: nil,
+        readOnly: false,
+        schemaVersion: 0,
+        shouldCompactOnLaunch: nil,
+        syncConfiguration: nil)
+
     _ = Realm.Configuration(
         deleteRealmIfMigrationNeeded: false,
         encryptionKey: encryptionKey,  // $ isSink=encryption-key