Paolo Tranquilli
70ff401f21
Swift: replace internal swift mangler with our own
...
Our mangler is split in two version:
* `SwiftTrapMangler`, with the same behaviour as the previous
`SwiftMangler`, constructing mangled names with trap label references
* `SwiftRecursiveMangler` that replaces trap label references with
recursive calls to its own `mangle` functions, effectively rolling out
the entire chain of references
The latter is used to create lazy trap file names. Hashing is used to
avoid excessively long filenames.
2023-05-31 09:52:20 +02:00
Paolo Tranquilli
ab3b87a3f2
Swift: add nested generic function to test
2023-05-31 09:52:20 +02:00
Michael Nebel
2266e28583
Merge pull request #13262 from michaelnebel/flowsummary/refactorgetcomponentstack
...
C#: Re-factor getComponent.
2023-05-31 08:22:44 +02:00
Arthur Baars
490d22d123
Merge remote-tracking branch 'upstream/main' into post-release-prep/codeql-cli-2.13.3
2023-05-30 21:31:28 +02:00
Geoffrey White
560aa43953
Swift: Repair for AccountID / AccountKey.
2023-05-30 14:20:17 +01:00
Geoffrey White
d506172027
Swift: Change note.
2023-05-30 09:41:11 +01:00
Paolo Tranquilli
2183d380db
Swift: implement review suggestions
2023-05-30 10:30:44 +02:00
Geoffrey White
4a8320fafd
Merge pull request #13287 from geoffw0/stringfp
...
Swift: Fix some string length conflation false positives
2023-05-30 08:57:48 +01:00
Paolo Tranquilli
ddf45b27ca
Merge pull request #13300 from github/redsun82/swift-fix-autobuild-corner-case
...
Swift: exclude unknown type targets ending in `Tests` or `Test` from autobuilding
2023-05-26 16:49:01 +02:00
Geoffrey White
32c113bc38
Swift: Fix following merge with main.
2023-05-26 14:41:48 +01:00
Geoffrey White
68354c09bf
Merge branch 'main' into sqlpathinject
2023-05-26 14:33:05 +01:00
Paolo Tranquilli
15047368e8
Swift: add a warning to unmangled types
2023-05-26 15:12:21 +02:00
Paolo Tranquilli
3f7c4dec25
Swift: add a header comment to SwiftMangler
2023-05-26 15:05:40 +02:00
Paolo Tranquilli
d81dc274f6
Swift: make a TODO more assertive as there is a draft PR already
2023-05-26 14:45:29 +02:00
Paolo Tranquilli
05ed66ad8f
Swift: remove debugging print
2023-05-26 14:42:02 +02:00
Paolo Tranquilli
c5cee0d419
Swift: exclude targets ending in Tests or Test from autobuilding
2023-05-26 14:19:07 +02:00
Michael Nebel
915042a881
Minor cleanup and sync files.
2023-05-26 12:25:00 +02:00
Michael Nebel
783d560e7d
Swift: Re-factor getComponent.
2023-05-26 12:25:00 +02:00
Paolo Tranquilli
a6e21dac8f
Merge pull request #13284 from github/redsun82/swift-remove-property-wrapper-inconsistencies
...
Swift: remove some AST and CFG inconsistencies
2023-05-26 12:22:56 +02:00
Geoffrey White
57d6505ee3
Swift: Move change note.
2023-05-26 11:10:29 +01:00
Michael B. Gale
e48fc66782
Swift: Add identify-environment script
2023-05-26 10:13:39 +01:00
Geoffrey White
736f2871f9
Swift: Tweak private info regexps to restore 'account_no' results.
2023-05-26 08:43:32 +01:00
Paolo Tranquilli
5a2433244e
Swift: remove now passing PrintAstConsistency check
2023-05-26 08:58:49 +02:00
Paolo Tranquilli
b0882a9e5f
Merge branch 'main' into alexdenisov+redsun82/tuple-mangling
2023-05-26 08:40:16 +02:00
Paolo Tranquilli
192c0d5e83
Swift: simplify change note
...
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com >
2023-05-26 08:20:58 +02:00
Geoffrey White
0e443da710
Swift: Remove id() categorization due to accuracy, and repair the old bank.?account case.
2023-05-25 21:51:27 +01:00
Mathias Vorreiter Pedersen
7361ad977a
Merge pull request #13291 from geoffw0/correction
...
Swift: Promote some Data models to DataProtocol
2023-05-25 11:28:42 -07:00
Geoffrey White
3f3a5d39e5
Swift: Fix the SQL injection test.
2023-05-25 17:13:51 +01:00
Geoffrey White
85a1ab0264
Swift: Undo autocorrect.
2023-05-25 16:10:31 +01:00
Geoffrey White
98e5f0fc4f
Swift: Add change note.
2023-05-25 16:04:18 +01:00
Geoffrey White
51321a218b
Swift: Correct models in Data.qll.
2023-05-25 15:55:45 +01:00
Geoffrey White
5dfb07ce37
Swift: Test DataProtocol.
2023-05-25 15:51:21 +01:00
Geoffrey White
791ba81403
Swift: Add change note.
2023-05-25 13:27:23 +01:00
Paolo Tranquilli
5e66885a8e
Swift: add change note
2023-05-25 14:00:04 +02:00
Paolo Tranquilli
51f1a5dcc8
Swift: remove getOpaqueExpr from OpenExistentialExpr's children
2023-05-25 13:05:21 +02:00
Paolo Tranquilli
7b76aa34bd
Swift: fix CFG inconsistency on TapExpr
2023-05-25 13:05:21 +02:00
Paolo Tranquilli
b26b0a6e43
Swift: remove property wrapper CFG inconsistencies
2023-05-25 13:05:21 +02:00
Paolo Tranquilli
7878bc3cc1
Swift: remove property wrapper AST inconsistencies
2023-05-25 12:15:22 +02:00
Paolo Tranquilli
ac31209233
Swift: add change notes to consistency queries
2023-05-25 10:56:25 +02:00
Paolo Tranquilli
8d656a996b
Swift: add QLdoc to AST consistency checks
2023-05-25 09:56:39 +02:00
Paolo Tranquilli
63fb0581c2
Swift: accept inconsistencies for now
2023-05-24 20:09:46 +02:00
Geoffrey White
d8cc8bd520
Swift: Fix indentation.
2023-05-24 18:43:48 +01:00
Geoffrey White
6d2800c117
Swift: Add change note.
2023-05-24 18:32:04 +01:00
Paolo Tranquilli
67a9141e8c
Swift: make AST printer consistency query more helpful
2023-05-24 18:10:08 +02:00
Paolo Tranquilli
b9fe056d81
Swift: add qlpack.yml to consistency-queries
2023-05-24 18:10:08 +02:00
Paolo Tranquilli
85fdcd9912
Swift: move consistency queries
2023-05-24 18:10:08 +02:00
Paolo Tranquilli
e513af1bcf
Swift: add CFG and PrintAst consistency queries, enabling them in CI
2023-05-24 18:10:08 +02:00
Jeroen Ketema
3a3d9bc505
Swift: Rewrite inline expectation tests to use the parameterized module
2023-05-24 11:38:22 +02:00
Paolo Tranquilli
2fb6cdc19b
Merge branch 'main' into alexdenisov+redsun82/tuple-mangling
2023-05-24 11:16:59 +02:00
Geoffrey White
2c5202018d
Swift: Add sinks.
2023-05-23 18:11:33 +01:00
