hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 09:15:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

Swift: Update prefix / suffix models for Swift 6.

Browse Source
This commit is contained in:
Geoffrey White
2024-11-01 16:03:24 +00:00
parent be12649838
commit 954fbc44bf
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
swift/ql/lib/codeql/swift/frameworks/StandardLibrary/Collection.qll
View File

@@ -49,6 +49,10 @@ private class CollectionSummaries extends SummaryModelCsv {
";BidirectionalCollection;true;popLast();;;Argument[-1];ReturnValue;taint",
";BidirectionalCollection;true;reversed();;;Argument[-1];ReturnValue;taint",
";BidirectionalCollection;true;reversed();;;Argument[-1].CollectionElement;ReturnValue.CollectionElement;value",
";BidirectionalCollection;true;suffix(_:);;;Argument[-1];ReturnValue;taint",
";BidirectionalCollection;true;suffix(_:);;;Argument[-1].CollectionElement;ReturnValue.CollectionElement;value",
";BidirectionalCollection;true;suffix(from:);;;Argument[-1];ReturnValue;taint",
";BidirectionalCollection;true;suffix(_:);;;Argument[-1].CollectionElement;ReturnValue.CollectionElement;value",
";MutableCollection;true;withContiguousMutableStorageIfAvailable(_:);;;Argument[-1];Argument[0].Parameter[0].CollectionElement;taint",
";MutableCollection;true;withContiguousMutableStorageIfAvailable(_:);;;Argument[-1].CollectionElement;Argument[0].Parameter[0].CollectionElement;value",
";MutableCollection;true;withContiguousMutableStorageIfAvailable(_:);;;Argument[0].Parameter[0].CollectionElement;Argument[-1].CollectionElement;value",

2
swift/ql/test/library-tests/dataflow/taint/libraries/TaintInline.expected
View File

@@ -1,8 +1,6 @@
testFailures
| optionset.swift:60:49:61:1 | // $ tainted=60\n | Missing result: tainted=60 |
| optionset.swift:65:58:66:1 | // $ tainted=65\n | Missing result: tainted=65 |
| string.swift:586:19:587:1 | // $ tainted=565\n | Missing result: tainted=565 |
| string.swift:587:27:588:1 | // $ tainted=565\n | Missing result: tainted=565 |
| string.swift:599:35:600:1 | // $ tainted=599\n | Missing result: tainted=599 |
| string.swift:605:30:606:1 | // $ tainted=605\n | Missing result: tainted=605 |
failures