hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-05 21:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Swift: Model Sequence.enumerated() as well.

Browse Source
This commit is contained in:
Geoffrey White
2023-11-24 15:39:14 +00:00
parent 14031bf351
commit 2b481bbb48
2 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
swift/ql/lib/codeql/swift/frameworks/StandardLibrary/Sequence.qll
View File

@@ -50,6 +50,7 @@ private class SequenceSummaries extends SummaryModelCsv {
";Sequence;true;withContiguousStorageIfAvailable(_:);;;Argument[-1].CollectionElement;Argument[0].Parameter[0].CollectionElement;value",
";Sequence;true;withContiguousStorageIfAvailable(_:);;;Argument[0].ReturnValue;ReturnValue.OptionalSome;value",
";Sequence;true;forEach(_:);;;Argument[-1].CollectionElement;Argument[0].Parameter[0];value",
";Sequence;true;enumerated();;;Argument[-1].CollectionElement;ReturnValue.CollectionElement.TupleElement[1];value",
";Sequence;true;makeIterator();;;Argument[-1].CollectionElement;ReturnValue.CollectionElement;value",
";Sequence;true;min();;;Argument[-1].CollectionElement;ReturnValue.OptionalSome;taint",
";Sequence;true;min(by:);;;Argument[-1].CollectionElement;ReturnValue.OptionalSome;taint",

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

@@ -34,7 +34,7 @@ func testSet(ix: Int) {
}
for (ix, elem) in taintedSet.enumerated() {
sink(arg: ix)
sink(arg: elem) // $ MISSING: tainte=t1
sink(arg: elem) // $ tainted=t1
}
taintedSet.forEach {
elem in