hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-07 03:30:24 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #13816 from geoffw0/contig2

Browse Source 
Swift: Use enum content in withContiguousStorageIfAvailable model.
This commit is contained in:
Geoffrey White
2023-07-25 15:57:52 +01:00
committed by GitHub
parent aedd073dad ac3c4fd5ef
commit fbbc2938c3
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -26,7 +26,7 @@ private class SequenceSummaries extends SummaryModelCsv {
";Sequence;true;joined(separator:);;;Argument[-1..0];ReturnValue;taint",
";Sequence;true;first(where:);;;Argument[-1];ReturnValue;taint",
";Sequence;true;withContiguousStorageIfAvailable(_:);;;Argument[-1];Argument[0].Parameter[0];taint",
";Sequence;true;withContiguousStorageIfAvailable(_:);;;Argument[0].ReturnValue;ReturnValue;taint",
";Sequence;true;withContiguousStorageIfAvailable(_:);;;Argument[0].ReturnValue;ReturnValue.OptionalSome;value",
]
}
}

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

@@ -639,7 +639,7 @@ func furtherTaintThroughCallbacks() {
ptr in
return source()
}) {
sink(arg: result4) // $ MISSING: tainted=640
sink(arg: result4) // $ tainted=640
}
// using a non-closure function