Geoffrey White
6deaf4e5f8
Swift: Rework ParsedStringRegex and introduce the needed RegexPatternSource class.
2023-08-23 09:01:15 +01:00
Geoffrey White
6fb1058e73
Swift: Copy IncompleteHostnameRegex query from JS.
2023-08-23 08:46:13 +01:00
Alex Denisov
b657301d39
Swift: update test expectations
2023-08-22 18:03:19 +02:00
Alex Denisov
e9fdbfabea
Swift: extract nextCall from ForEachStmt
2023-08-22 17:36:40 +02:00
Robert Marsh
5734e475d4
Merge pull request #14014 from rdmarsh2/rdmarsh2/swift/keypath-force-steps
...
Swift: flow through keypath optional components
2023-08-22 10:35:36 -04:00
Robert Marsh
e94781fa8f
Swift: fix comment
2023-08-22 13:27:17 +00:00
Alex Denisov
5cce37baa9
Swift: update test expectations
2023-08-22 11:11:28 +02:00
Alex Denisov
48607e3ad7
Swift: address code review comments
2023-08-22 10:01:16 +02:00
AlexDenisov
b98a966729
Apply suggestions from code review
...
Co-authored-by: Paolo Tranquilli <redsun82@github.com >
2023-08-22 09:57:25 +02:00
Michael Nebel
ce6fd8ac5f
Merge pull request #13432 from michaelnebel/updateissupported
...
Java/C#: Update telemetry queries to report callables with sink/source neutrals as being supported.
2023-08-22 08:39:38 +02:00
Robert Marsh
a335ece5e5
Swift: change note for keypath optional flows
2023-08-21 20:11:37 +00:00
Robert Marsh
1634fa2e25
Swift: support for optional chaining in keypaths
2023-08-21 20:09:28 +00:00
Robert Marsh
81bf415b50
Swift: modify test so implicit read isn't needed at sink
2023-08-21 20:08:30 +00:00
Robert Marsh
246d5c530e
Swift: flow through keypath force components
2023-08-21 19:07:40 +00:00
Geoffrey White
f7776f812c
Swift: 'good enough' fix for UnsafeJsEval flow.
2023-08-21 18:30:30 +01:00
Geoffrey White
317757b7ae
Swift: Create proper models for JavaScriptCore.
2023-08-21 18:24:26 +01:00
Paolo Tranquilli
1daedd9fb6
Revert "Swift: use C++20 constraints and concepts to simplify code"
2023-08-21 17:40:15 +02:00
Paolo Tranquilli
6d85d0d0f7
Merge pull request #13991 from github/redsun82/swift-use-concepts
...
Swift: use C++20 constraints and concepts to simplify code
2023-08-21 15:45:44 +02:00
Jeroen Ketema
2d0f73d7c2
Merge pull request #13881 from jketema/shared-taint-tracking
...
Introduce shared taint tracking library
2023-08-21 12:45:49 +02:00
Geoffrey White
6ef6be7291
Swift: UnsafeJSEval regression.
2023-08-21 11:28:48 +01:00
Geoffrey White
997984c529
Swift: Minor test .expected changes.
2023-08-21 11:15:43 +01:00
Geoffrey White
a54747f850
Swift: Fix mysterious taint flow issue.
2023-08-21 11:06:04 +01:00
Geoffrey White
b4db68af80
Swift: Add content to the string models.
2023-08-21 10:16:40 +01:00
Geoffrey White
a6f29fa417
Swift: Address pointer/pointee conflation in the string tests themselves.
2023-08-21 10:16:39 +01:00
Paolo Tranquilli
bda516e9ea
C++: tweak dispatcher clauses
2023-08-21 10:01:45 +02:00
Michael Nebel
106ba11e10
Address review comments.
2023-08-21 09:59:02 +02:00
Michael Nebel
d66fe08661
Add QLDoc for the getKind predicate.
2023-08-21 09:59:02 +02:00
Michael Nebel
a9f7994b7d
Swift: Sync files and make manual changes.
2023-08-21 09:59:01 +02:00
github-actions[bot]
098dfb4242
Release preparation for version 2.14.3
2023-08-18 14:48:15 +00:00
Paolo Tranquilli
b78f12481f
Swift: tweak priority of location information sources
2023-08-18 15:18:48 +02:00
Alex Denisov
7e36f7dcaf
Swift: fix autobuilder crash
2023-08-18 14:26:16 +02:00
Paolo Tranquilli
386dedb9df
Swift: fix location extractor hitting swift assertion
2023-08-18 14:21:30 +02:00
Paolo Tranquilli
c17a582b34
Revert "Swift: upgrade clang-formatting to 15.0.7"
...
This reverts commit 970b3d06be
2023-08-18 13:59:41 +02:00
Alex Denisov
6a5e539833
Swift: update test expectations
2023-08-18 13:18:02 +02:00
Alex Denisov
202a4cd1a2
Swift: teach autobuilder about SPM, CocoaPods, and Carthage
2023-08-18 13:17:57 +02:00
Paolo Tranquilli
3c4e755233
Swift: fix macOS not having std::ranges::sized_range
2023-08-18 10:18:53 +02:00
Paolo Tranquilli
8b3e32fa97
Swift: add missing include
2023-08-18 09:10:44 +02:00
Paolo Tranquilli
53ed39065c
Swift: tweak location extractor using new concept
2023-08-18 06:45:11 +02:00
Paolo Tranquilli
eb8997dc7a
Swift: fix print_unextracted
2023-08-18 06:44:42 +02:00
Geoffrey White
86a73fa0e7
Swift: Accept fixed spurious test results.
2023-08-17 19:41:21 +01:00
Geoffrey White
0fd4f6180f
Swift: Allow subscript content reads from collections.
2023-08-17 19:37:55 +01:00
Geoffrey White
1ac9d2c618
Swift: Update models with CollectionElement, value flow.
2023-08-17 18:49:19 +01:00
Geoffrey White
59e2b0482c
Merge branch 'main' into closuremodels
2023-08-17 17:16:44 +01:00
Paolo Tranquilli
3de7b75853
Swift: remove uneeded include
2023-08-17 17:36:36 +02:00
Paolo Tranquilli
970b3d06be
Swift: upgrade clang-formatting to 15.0.7
2023-08-17 17:24:42 +02:00
Paolo Tranquilli
7c764f3b50
Swift: use C++20 constraints and concepts to simplify code
...
This simplifies several instances of metaprogramming by leveraging
[constraints and concepts from C++20][1]. This:
* gets rid of `std::enable_if` by usage of `requires`, making it more
readable and yield better compiler messages.
* uses `requires` instead of `static_assert` to enforce `TrapLabel`
typing
* simplifies all compile-time tests for validity of a given expression
* uses some standard library concepts where possible
* generalizes and simplifies `SwiftLocationExtractor`
Notice that in order to use the `std::derived_from` concept, `virtual`
inheritance had to be added to the label tags, because diamond
inheritance is a problem otherwise. That's because
`std::derived_from<T, U>` requires that `T*` be convertible to `U*`,
which is false if there are multiple non-virtual inheritance paths from
`U` to `T`. As tags never get actually instantiated, there is no runtime
performance penalty in using `virtual` inheritance.
[1]: https://en.cppreference.com/w/cpp/language/constraints
2023-08-17 17:24:42 +02:00
Paolo Tranquilli
75cc1d8f75
Swift: fix version check macro to be lexicographic
2023-08-17 12:19:28 +02:00
Jeroen Ketema
33e8310625
Merge branch 'main' into shared-taint-tracking
2023-08-17 00:14:25 +02:00
Robert Marsh
d3cc366dc5
Swift: add QLDoc for DictionarySubscriptNode
2023-08-16 17:57:30 +00:00
Robert Marsh
3ee3eabd95
Swift: add EnumContent to clearsContent
2023-08-16 17:52:26 +00:00
