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

Swift: move IteratorProtocol model to its own file

Browse Source
This commit is contained in:
Robert Marsh
2023-09-13 19:30:08 +00:00
parent 7ca6b6f9a6
commit e0fae764f1
3 changed files with 19 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
swift/ql/lib/codeql/swift/frameworks/StandardLibrary/IteratorProtocol.qll Normal file
View File

@@ -0,0 +1,17 @@
/**
* Provides models for the `IteratorProtocol` Swift protocol.
*/
private import codeql.swift.dataflow.ExternalFlow
/**
* A model for `IteratorProtocol` members that permit taint flow.
*/
private class IteratorProtocolSummaries extends SummaryModelCsv {
override predicate row(string row) {
row =
[
";IteratorProtocol;true;next();;;Argument[-1].CollectionElement;ReturnValue.OptionalSome;value"
]
}
}

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

@@ -29,8 +29,7 @@ private class SequenceSummaries extends SummaryModelCsv {
";Sequence;true;withContiguousStorageIfAvailable(_:);;;Argument[-1].ArrayElement;Argument[0].Parameter[0].CollectionElement;value",
";Sequence;true;withContiguousStorageIfAvailable(_:);;;Argument[-1].CollectionElement;Argument[0].Parameter[0].CollectionElement;value",
";Sequence;true;withContiguousStorageIfAvailable(_:);;;Argument[0].ReturnValue;ReturnValue.OptionalSome;value",
";Sequence;true;makeIterator();;;Argument[-1].CollectionElement;ReturnValue.CollectionElement;value",
";IteratorProtocol;true;next();;;Argument[-1].CollectionElement;ReturnValue.OptionalSome;value"
";Sequence;true;makeIterator();;;Argument[-1].CollectionElement;ReturnValue.CollectionElement;value"
]
}
}

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

@@ -9,6 +9,7 @@ private import Data
private import FileManager
private import FilePath
private import InputStream
private import IteratorProtocol
private import ManualMemoryManagement
private import NsData
private import NsObject