Skip to content

Commit 954fbc4

Browse files
committed
Swift: Update prefix / suffix models for Swift 6.
1 parent be12649 commit 954fbc4

File tree

2 files changed

+4
-2
lines changed

2 files changed

+4
-2
lines changed

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

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -49,6 +49,10 @@ private class CollectionSummaries extends SummaryModelCsv {
4949
";BidirectionalCollection;true;popLast();;;Argument[-1];ReturnValue;taint",
5050
";BidirectionalCollection;true;reversed();;;Argument[-1];ReturnValue;taint",
5151
";BidirectionalCollection;true;reversed();;;Argument[-1].CollectionElement;ReturnValue.CollectionElement;value",
52+
";BidirectionalCollection;true;suffix(_:);;;Argument[-1];ReturnValue;taint",
53+
";BidirectionalCollection;true;suffix(_:);;;Argument[-1].CollectionElement;ReturnValue.CollectionElement;value",
54+
";BidirectionalCollection;true;suffix(from:);;;Argument[-1];ReturnValue;taint",
55+
";BidirectionalCollection;true;suffix(_:);;;Argument[-1].CollectionElement;ReturnValue.CollectionElement;value",
5256
";MutableCollection;true;withContiguousMutableStorageIfAvailable(_:);;;Argument[-1];Argument[0].Parameter[0].CollectionElement;taint",
5357
";MutableCollection;true;withContiguousMutableStorageIfAvailable(_:);;;Argument[-1].CollectionElement;Argument[0].Parameter[0].CollectionElement;value",
5458
";MutableCollection;true;withContiguousMutableStorageIfAvailable(_:);;;Argument[0].Parameter[0].CollectionElement;Argument[-1].CollectionElement;value",
Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,6 @@
11
testFailures
22
| optionset.swift:60:49:61:1 | // $ tainted=60\n | Missing result: tainted=60 |
33
| optionset.swift:65:58:66:1 | // $ tainted=65\n | Missing result: tainted=65 |
4-
| string.swift:586:19:587:1 | // $ tainted=565\n | Missing result: tainted=565 |
5-
| string.swift:587:27:588:1 | // $ tainted=565\n | Missing result: tainted=565 |
64
| string.swift:599:35:600:1 | // $ tainted=599\n | Missing result: tainted=599 |
75
| string.swift:605:30:606:1 | // $ tainted=605\n | Missing result: tainted=605 |
86
failures

0 commit comments

Comments
 (0)