unified: Remove database-store sinks that duplicate sql-sinks (the database storage query can just match both patterns, as the Rust version does; any potential SQL injection is input to a database).

Author: geoffw0

unified/ql/lib/ext/legacy-swift.model.yml

@@ -111,13 +111,6 @@ extensions:
       - ["", "", false, "sqlite3_bind_text16(_:_:_:_:_:)", "", "", "Argument[2]", "database-store", "manual"]
       - ["", "", false, "sqlite3_bind_text64(_:_:_:_:_:_:)", "", "", "Argument[2]", "database-store", "manual"]
       - ["", "", false, "sqlite3_bind_value(_:_:_:)", "", "", "Argument[2]", "database-store", "manual"]
-      - ["", "", false, "sqlite3_exec(_:_:_:_:_:)", "", "", "Argument[1]", "database-store", "manual"]
-      - ["", "", false, "sqlite3_prepare(_:_:_:_:_:)", "", "", "Argument[1]", "database-store", "manual"]
-      - ["", "", false, "sqlite3_prepare16(_:_:_:_:_:)", "", "", "Argument[1]", "database-store", "manual"]
-      - ["", "", false, "sqlite3_prepare16_v2(_:_:_:_:_:)", "", "", "Argument[1]", "database-store", "manual"]
-      - ["", "", false, "sqlite3_prepare16_v3(_:_:_:_:_:)", "", "", "Argument[1]", "database-store", "manual"]
-      - ["", "", false, "sqlite3_prepare_v2(_:_:_:_:_:)", "", "", "Argument[1]", "database-store", "manual"]
-      - ["", "", false, "sqlite3_prepare_v3(_:_:_:_:_:_:)", "", "", "Argument[1]", "database-store", "manual"]
       - ["", "", false, "sqlite3_exec(_:_:_:_:_:)", "", "", "Argument[1]", "sql-injection", "manual"]
       - ["", "", false, "sqlite3_prepare(_:_:_:_:_:)", "", "", "Argument[1]", "sql-injection", "manual"]
       - ["", "", false, "sqlite3_prepare_v2(_:_:_:_:_:)", "", "", "Argument[1]", "sql-injection", "manual"]
@@ -237,9 +230,6 @@ extensions:
       - ["", "Connection", true, "keyAndMigrate(_:db:)", "", "", "Argument[0]", "encryption-key", "manual"]
       - ["", "Connection", true, "rekey(_:db:)", "", "", "Argument[0]", "encryption-key", "manual"]
       - ["", "Connection", true, "sqlcipher_export(_:key:)", "", "", "Argument[key:]", "encryption-key", "manual"]
-      - ["", "Connection", true, "execute(_:)", "", "", "Argument[0]", "database-store", "manual"]
-      - ["", "Connection", true, "prepare(_:_:)", "", "", "Argument[0]", "database-store", "manual"]
-      - ["", "Connection", true, "prepare(_:_:)", "", "", "Argument[1]", "database-store", "manual"]
       - ["", "Connection", true, "run(_:_:)", "", "", "Argument[0]", "database-store", "manual"]
       - ["", "Connection", true, "run(_:_:)", "", "", "Argument[1]", "database-store", "manual"]
       - ["", "Connection", true, "scalar(_:_:)", "", "", "Argument[0]", "database-store", "manual"]
@@ -361,7 +351,6 @@ extensions:
       - ["", "SQL", true, "init(arguments:sql:)", "", "", "Argument[arguments:]", "database-store", "manual"]
       - ["", "SQLRequest", true, "init(adapter:arguments:cached:sql:)", "", "", "Argument[arguments:]", "database-store", "manual"]
       - ["", "SQLStatementCursor", true, "init(arguments:database:prepFlags:sql:)", "", "", "Argument[arguments:]", "database-store", "manual"]
-      - ["", "Statement", true, "init(_:_:)", "", "", "Argument[1]", "database-store", "manual"]
       - ["", "Statement", true, "scalar(_:)", "", "", "Argument[0]", "database-store", "manual"]
       - ["", "Statement", true, "bind(_:)", "", "", "Argument[0]", "database-store", "manual"]
       - ["", "Statement", true, "execute(arguments:)", "", "", "Argument[arguments:]", "database-store", "manual"]