Swift: model updates for Set

Author: Robert Marsh

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

@@ -26,6 +26,7 @@ private class CollectionSummaries extends SummaryModelCsv {
         ";Collection;true;split(separator:maxSplits:omittingEmptySubsequences:);;;Argument[-1];ReturnValue;taint",
         ";Collection;true;removeFirst();;;Argument[-1];ReturnValue;taint",
         ";Collection;true;popFirst();;;Argument[-1];ReturnValue;taint",
+        ";Collection;true;randomElement();;;Argument[-1].SetElement;ReturnValue.OptionalSome;value",
         ";RangeReplaceableCollection;true;append(_:);;;Argument[0];Argument[-1];taint",
         ";RangeReplaceableCollection;true;append(contentsOf:);;;Argument[0];Argument[-1];taint",
         ";RangeReplaceableCollection;true;remove(at:);;;Argument[-1];ReturnValue;taint",

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

@@ -9,7 +9,8 @@ private class SetSummaries extends SummaryModelCsv {
       [
         ";Set;true;insert(_:);;;Argument[-1].SetElement;ReturnValue.TupleElement[1];value",
         ";Set;true;insert(_:);;;Argument[0];Argument[-1].SetElement;value",
-        ";Set;true;randomElement();;;Argument[-1].SetElement;ReturnValue;value"
+        ";Set;true;insert(_:);;;Argument[0];ReturnValue.TupleElement[1];value",
+        ";Set;true;init(_:);;;Argument[0].ArrayElement;ReturnValue.SetElement;value"
       ]
   }
 }