Geoffrey White
|
459b006244
|
Swift: Test StringProtocol.appendingFormat.
|
2023-10-16 21:22:03 +01:00 |
|
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
|
6108f787dd
|
Swift: Effect on query tests.
|
2023-10-16 18:28:51 +01:00 |
|
Geoffrey White
|
0509c0fdf3
|
Swift: Effect on dataflow tests.
|
2023-10-16 18:28:50 +01:00 |
|
Geoffrey White
|
1f92267786
|
Swift: Sort out identical files situation.
|
2023-10-16 11:26:12 +01:00 |
|
Geoffrey White
|
890b9d59ed
|
Swift: Fix line numbers.
|
2023-10-16 11:09:54 +01: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
|
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
|
dcba1b9913
|
Swift: Tests for Substring.
|
2023-10-16 10:14:42 +01:00 |
|
Geoffrey White
|
cea87a53e0
|
Swift: Fix LocalTaint.expected.
|
2023-10-13 18:19:26 +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 |
|
Geoffrey White
|
4e29ed5ff0
|
Swift: Model RawRepresentable.
|
2023-10-13 15:00:49 +01:00 |
|
Geoffrey White
|
228aaee0bf
|
Swift: Add data flow tests for RawRepresentable, OptionSet.
|
2023-10-13 14:34:05 +01:00 |
|
Geoffrey White
|
9e473ebda4
|
Swift: Remove the 'rawValue' step as well.
|
2023-10-13 14:02:15 +01:00 |
|
Geoffrey White
|
33f83a2089
|
Swift: Add some failing data flow test cases.
|
2023-10-13 12:24:43 +01:00 |
|
Robert Marsh
|
dd71204128
|
Swift: update test expectations for for-in locations
|
2023-10-12 18:59:36 +00:00 |
|
Geoffrey White
|
fe57cd0784
|
Merge pull request #14488 from geoffw0/strlentest
Swift: Additional test cases for `swift\string-length-conflation`
|
2023-10-12 19:39:43 +01:00 |
|
AlexDenisov
|
6ab2de10e3
|
Merge pull request #14437 from github/alexdenisov/ignore-unavailable-declarations
Swift: skip declarations marked as unavailable
|
2023-10-12 20:08:18 +02:00 |
|
Geoffrey White
|
9f683b8630
|
Swift: Remove duplicate results.
|
2023-10-12 17:38:58 +01:00 |
|
Geoffrey White
|
cf7f355fc4
|
Swift: Additional test cases.
|
2023-10-12 17:11:56 +01:00 |
|
Geoffrey White
|
e2a8569940
|
Swift: Clean up indentation.
|
2023-10-12 13:05:20 +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
|
09974b5176
|
Swift: Extend sink models.
|
2023-10-12 09:17:04 +01:00 |
|
Geoffrey White
|
0e4cd7f52f
|
Swift: Additional test cases.
|
2023-10-11 18:37:24 +01:00 |
|
Alex Denisov
|
4133284bc8
|
Swift: skip declarations marked as unavailable
|
2023-10-11 10:55:49 +02:00 |
|
Geoffrey White
|
48ee4add08
|
Merge branch 'main' into sqlpathinject3
|
2023-10-10 08:54:44 +01: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
|
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 |
|
Geoffrey White
|
8bf6fd67d1
|
Swift: Add a test for GRDB hardcoded key sinks.
|
2023-10-07 23:07:32 +01:00 |
|
Robert Marsh
|
cb749bd973
|
Swift: CFG for normal autoclosure exprs
|
2023-10-06 20:14:49 +00:00 |
|
Robert Marsh
|
661da76838
|
Swift: add function call autoclosure tests
|
2023-10-06 19:49:33 +00: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
|
9a628d4165
|
Swift: Add test for sqlite3 C API.
|
2023-10-06 18:26:18 +01:00 |
|
Geoffrey White
|
8006996f46
|
Swift: Add test for SQLite.swift.
|
2023-10-06 18:26:18 +01:00 |
|
Geoffrey White
|
9ad1749957
|
Swift: Hide OpenExistentialExpr from the AST instead.
|
2023-10-06 17:55:29 +01:00 |
|
Geoffrey White
|
76db1c5c8b
|
Swift: Add the same code to the AST test as well.
|
2023-10-06 17:13:49 +01:00 |
|
Geoffrey White
|
b0c7964ea6
|
Swift: Add the same code to the CFG test as well.
|
2023-10-06 10:07:52 +01:00 |
|
Geoffrey White
|
b3185e9519
|
Swift: Expand the test case.
|
2023-10-06 09:43:33 +01:00 |
|
Geoffrey White
|
7ddece1560
|
Swift: Update .expected after merge.
|
2023-10-05 16:20:56 +01:00 |
|
Geoffrey White
|
6bea7f89a8
|
Merge branch 'main' into sqlpathinject2
|
2023-10-05 16:15:37 +01:00 |
|