Geoffrey White
|
990c40c8c8
|
Swift: Barrier for duplicate results in constant queries, resulting from sources like [1, 2, 3].
|
2023-10-16 18:28:51 +01:00 |
|
Geoffrey White
|
89867d6214
|
Swift: Default content read step.
|
2023-10-16 18:28:50 +01:00 |
|
Robert Marsh
|
d0ec2fd643
|
Swift: fix QLDoc typos
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2023-10-16 13:20:41 -04:00 |
|
Geoffrey White
|
225a9fe2d8
|
Merge branch 'main' into implicitflow
|
2023-10-16 11:02:34 +01:00 |
|
Geoffrey White
|
0e1da37379
|
Revert "Swift: Hide OpenExistentialExpr from the AST instead."
This reverts commit 9ad1749957.
|
2023-10-16 10:49:39 +01:00 |
|
Geoffrey White
|
39a6375606
|
Swift: Change note.
|
2023-10-16 10:17:32 +01:00 |
|
Geoffrey White
|
613c7b24b5
|
Swift: Model .base, withUTF8(_:).
|
2023-10-16 10:17:32 +01:00 |
|
Geoffrey White
|
0bc24b8641
|
Swift: Model replaceSubrange more generally.
|
2023-10-16 10:17:32 +01:00 |
|
Geoffrey White
|
c6f2a2936b
|
Swift: Widen the StringProtocol model.
|
2023-10-16 10:14:43 +01:00 |
|
Geoffrey White
|
e2ac3769bc
|
Swift: Change note.
|
2023-10-13 17:42:14 +01:00 |
|
Geoffrey White
|
aa0db1426d
|
Swift: Simplify the QL a bit further.
|
2023-10-13 17:42:14 +01:00 |
|
Geoffrey White
|
d0f214a9a7
|
Swift: Widen the model to include things that are not strictly RawRepresentable but which appear similar. This fixes the XXE test cases. Unclear whether xmlParserOption in the test should in fact extend RawRepresentable, or not.
|
2023-10-13 17:35:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
fb0016e4f6
|
Merge pull request #14485 from geoffw0/logging
Swift: Add more sinks to `swift/cleartext-logging`
|
2023-10-13 16:09:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
9a2ac65f53
|
Merge pull request #14394 from geoffw0/sqlpathinject3
Swift: Add sinks for sqlite3 and SQLite.swift to swift/hardcoded-key
|
2023-10-13 16:07:09 +01:00 |
|
Robert Marsh
|
b832fc8e32
|
Swift: additional QLDoc around closures
|
2023-10-13 14:54:38 +00:00 |
|
Geoffrey White
|
4e29ed5ff0
|
Swift: Model RawRepresentable.
|
2023-10-13 15:00:49 +01:00 |
|
Geoffrey White
|
9e473ebda4
|
Swift: Remove the 'rawValue' step as well.
|
2023-10-13 14:02:15 +01:00 |
|
Geoffrey White
|
da14f428e2
|
Swift: Remove now redundant additional taint step. from the XXE query.
|
2023-10-13 13:57:54 +01:00 |
|
Geoffrey White
|
9f683b8630
|
Swift: Remove duplicate results.
|
2023-10-12 17:38:58 +01:00 |
|
Geoffrey White
|
8f852f2e7d
|
Swift: Turn sink models into flow summary models, where appropriate.
|
2023-10-12 12:57:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
02f73145d6
|
Merge pull request #14354 from geoffw0/conversions2
Swift: Improve models for Numeric, RangeReplaceableCollection
|
2023-10-12 11:13:50 +01:00 |
|
Geoffrey White
|
7916bd39b4
|
Swift: Generalize 'write' models.
|
2023-10-12 09:21:33 +01:00 |
|
Geoffrey White
|
09974b5176
|
Swift: Extend sink models.
|
2023-10-12 09:17:04 +01:00 |
|
Henry Mercer
|
1a370bfbbe
|
Merge pull request #14443 from github/post-release-prep/codeql-cli-2.15.0
Post-release preparation for codeql-cli-2.15.0
|
2023-10-11 17:39:04 +01:00 |
|
github-actions[bot]
|
ae6af17c74
|
Post-release preparation for codeql-cli-2.15.0
|
2023-10-11 14:19:20 +00:00 |
|
Robert Marsh
|
484d020c39
|
Merge branch 'main' into rdmarsh2/swift/autoclosure-cfg
|
2023-10-10 18:47:13 +00:00 |
|
Geoffrey White
|
0d562d4874
|
Swift: Autoformat.
|
2023-10-10 10:01:37 +01:00 |
|
Geoffrey White
|
48ee4add08
|
Merge branch 'main' into sqlpathinject3
|
2023-10-10 08:54:44 +01:00 |
|
Geoffrey White
|
0374414798
|
Swift: Fix TupleElement syntax.
|
2023-10-10 08:31:50 +01:00 |
|
Erik Krogh Kristensen
|
4489e2bf28
|
Merge pull request #14403 from erik-krogh/dDEps
All: delete outdated deprecations
|
2023-10-09 21:04:55 +02:00 |
|
Robert Marsh
|
dab9a859f3
|
Merge branch 'main' into rdmarsh2/swift/autoclosure-cfg
|
2023-10-09 14:21:28 +00:00 |
|
Robert Marsh
|
8af727734e
|
Merge pull request #13909 from rdmarsh2/rdmarsh2/swift/for-in
Swift: dataflow for `for-in` loops
|
2023-10-09 10:00:27 -04:00 |
|
Geoffrey White
|
57e32b47b7
|
Merge pull request #14386 from geoffw0/swiftperf
Swift: defaultImplicitTaintRead performance improvement
|
2023-10-09 13:07:11 +01:00 |
|
Geoffrey White
|
62b0ebf2fe
|
Merge pull request #14407 from geoffw0/grdbsinks
Swift: Add sinks for the GRDB database library to swift/hardcoded-key
|
2023-10-09 12:58:17 +01:00 |
|
Geoffrey White
|
c492b5f2dd
|
Swift: Model sinks.
|
2023-10-07 23:19:09 +01:00 |
|
erik-krogh
|
4bc4e0845d
|
delete the deprecated isBarrierGuard predicate from the shared dataflow library, and its uses
|
2023-10-07 21:48:49 +02:00 |
|
Robert Marsh
|
30a9656ebb
|
Swift: change note for autoclosure cfg
|
2023-10-06 20:19:35 +00:00 |
|
Robert Marsh
|
cb749bd973
|
Swift: CFG for normal autoclosure exprs
|
2023-10-06 20:14:49 +00:00 |
|
Geoffrey White
|
0918e50b05
|
Swift: Switch pragma to inline_late.
|
2023-10-06 20:23:51 +01:00 |
|
Geoffrey White
|
676179620a
|
Swift: Get sqlite3 C API results (model Data.withUnsafeBytes, Data.withUnsafeMutableBytes, permit flow out of collections at the query sink)
|
2023-10-06 18:26:20 +01:00 |
|
Geoffrey White
|
bc9d8cc40f
|
Swift: Get another SQLite.swift result.
|
2023-10-06 18:26:20 +01:00 |
|
Geoffrey White
|
691665fca8
|
Swift: Add models for SQLite.swift.
|
2023-10-06 18:26:19 +01:00 |
|
Geoffrey White
|
bece2e8689
|
Swift: Add models for sqlite3 C API.
|
2023-10-06 18:26:19 +01:00 |
|
Geoffrey White
|
9ad1749957
|
Swift: Hide OpenExistentialExpr from the AST instead.
|
2023-10-06 17:55:29 +01:00 |
|
Robert Marsh
|
85587413d0
|
Swift: fix QLDoc formatting for getSequence
|
2023-10-06 15:29:56 +00:00 |
|
Robert Marsh
|
c281db6b5b
|
Swift: improve QLDoc for getSequence
|
2023-10-06 15:23:58 +00:00 |
|
Robert Marsh
|
ec292ca4e1
|
Swift: Split for-each change note into two lines
|
2023-10-06 15:21:55 +00:00 |
|
Geoffrey White
|
66637e8c03
|
Swift: Autoformat.
|
2023-10-05 18:53:30 +01:00 |
|
Geoffrey White
|
81d4ec1e98
|
pragma node
|
2023-10-05 18:30:50 +01:00 |
|
Geoffrey White
|
fdcc6b482d
|
Swift: Simplify allowImplicitRead slightly.
|
2023-10-05 16:42:43 +01:00 |
|