4228 Commits

Author	SHA1	Message	Date
Paolo Tranquilli	40b8406d62	Bazel: use installer shortcut in docs and workflows	2024-11-19 10:32:21 +01:00
Paolo Tranquilli	8bcc5f4bf8	Merge pull request #17989 from geoffw0/swift6models2 ... Swift: More model repairs for Swift 6	2024-11-18 11:52:14 +01:00
Geoffrey White	fa43207538	Swift: Autoformat.	2024-11-18 09:40:06 +00:00
Geoffrey White	8245e6c2b9	Swift: Fix unwanted flows.	2024-11-14 17:51:47 +00:00
Geoffrey White	e589b1fcd0	Swift: Fix query barriers.	2024-11-14 17:37:43 +00:00
Geoffrey White	6aa43e001d	Swift: Effect on other tests.	2024-11-14 17:29:17 +00:00
Geoffrey White	c2c23c872b	Swift: Address some modelling issues for Swift 6.	2024-11-14 17:22:15 +00:00
Geoffrey White	570393fe2b	Swift: Additional test cases.	2024-11-14 17:17:00 +00:00
Geoffrey White	f0dc4f5ec3	Swift: Convert the dataflow-taint-core-conversions test to labelled sources.	2024-11-14 16:34:16 +00:00
Paolo Tranquilli	51f7129c79	Swift: accept integration test change	2024-11-06 08:40:29 +01:00
Paolo Tranquilli	02a0021a26	Swift: tweak mangling of extensions	2024-11-06 08:40:12 +01:00
Paolo Tranquilli	9e1e56f769	Swift: remove obsolete bazel definitions	2024-11-06 08:39:53 +01:00
Paolo Tranquilli	afd4585561	Merge branch 'main' into redsun82/swift-6	2024-11-06 08:05:52 +01:00
Paolo Tranquilli	c875667980	Swift: update to 6.0.2	2024-11-06 08:05:14 +01:00
github-actions[bot]	f107d16b4e	Post-release preparation for codeql-cli-2.19.3	2024-11-04 17:20:08 +00:00
github-actions[bot]	cc7b724123	Release preparation for version 2.19.3	2024-11-04 16:37:28 +00:00
Geoffrey White	24c4e87f44	Swift: Fix stray [].	2024-11-01 16:30:15 +00:00
Geoffrey White	f3ea75d27c	Swift: Further modelling updates / gap filling that doesn't seem to affect tests.	2024-11-01 16:19:41 +00:00
Geoffrey White	954fbc44bf	Swift: Update prefix / suffix models for Swift 6.	2024-11-01 16:19:39 +00:00
Geoffrey White	be12649838	Swift: Update joined models for Swift 6.	2024-11-01 16:19:36 +00:00
Geoffrey White	6f0f73974a	Swift: Update dropFirst / dropLast / reversed models for Swift 6.	2024-11-01 16:19:34 +00:00
Paolo Tranquilli	1f356078ff	Swift: temporarily accept test changes	2024-10-31 15:57:31 +01:00
Tom Hvitved	2b37c6cd32	Merge pull request #17548 from hvitved/shared/inline-test-post-process ... Shared: Post-processing query for inline test expectations	2024-10-31 11:40:11 +01:00
Paolo Tranquilli	5a045beff9	Swift: turn off SIL verifications	2024-10-31 10:03:08 +01:00
Paolo Tranquilli	ce4273d461	Revert "Swift: use -typecheck in QL tests" ... This reverts commit 34b8b43843.	2024-10-31 09:52:08 +01:00
Paolo Tranquilli	3aa7123032	Swift: restrict UnresolvedAstNodes to known locations	2024-10-31 09:26:14 +01:00
Paolo Tranquilli	34b8b43843	Swift: use -typecheck in QL tests	2024-10-31 06:41:46 +01:00
Paolo Tranquilli	7f3745cfcd	Swift: fix @isolated(any) DB inconsistencies	2024-10-31 06:22:06 +01:00
Paolo Tranquilli	3877eb8bc9	Swift: tentatively fix type mangling	2024-10-30 17:08:20 +01:00
Paolo Tranquilli	01417025f2	Swift: use ubuntu-latest	2024-10-30 16:20:27 +01:00
Paolo Tranquilli	5e6228cf7c	Swift: fix	2024-10-30 16:11:08 +01:00
Paolo Tranquilli	d325b8e678	Swift: update load.bzl and resources	2024-10-30 15:56:48 +01:00
Paolo Tranquilli	91f683d94c	Merge branch 'main' into redsun82/swift-6	2024-10-30 12:27:24 +01:00
Paolo Tranquilli	d3fb2543d2	Swift: try out new builds	2024-10-30 12:26:34 +01:00
Tom Hvitved	cc94c42f87	Address review comments	2024-10-29 20:36:16 +01:00
Tom Hvitved	4561770db4	Swift: Post-processing query for inline test expectations	2024-10-29 13:35:34 +01:00
Anders Schack-Mulligen	c20f12fa6c	Add qldoc.	2024-10-16 14:35:23 +02:00
Anders Schack-Mulligen	635071fe8a	Swift: Add tentative support for speculative taint flow.	2024-10-16 14:35:21 +02:00
Anders Schack-Mulligen	c80627a3d3	Dataflow: add plumbing for adding provenance to state-steps.	2024-10-16 14:35:18 +02:00
github-actions[bot]	079ab77a38	Post-release preparation for codeql-cli-2.19.2	2024-10-15 12:16:59 +00:00
github-actions[bot]	255f55cf1a	Release preparation for version 2.19.2	2024-10-15 10:29:25 +00:00
Tom Hvitved	bdb793ba92	Swift: Adopt shared ConditionalCompletionSplitting implementation	2024-10-09 11:02:18 +02:00
Paolo Tranquilli	524686ce37	Swift: make extractor compilable with Swift 6	2024-10-08 16:39:21 +02:00
Tom Hvitved	6196fd2cc1	Swift: Update expected test output	2024-10-07 09:45:08 +02:00
github-actions[bot]	e97878ed63	Post-release preparation for codeql-cli-2.19.1	2024-09-30 19:49:00 +00:00
github-actions[bot]	455c8c5953	Release preparation for version 2.19.1	2024-09-30 17:59:48 +00:00
Tom Hvitved	97ead6f462	Merge pull request #17560 from hvitved/codegen/remove-cached ... Codegen: Do not cache injectors/projectors in `Synth` module	2024-09-27 13:17:02 +02:00
Tom Hvitved	d3368be94a	Swift: Run codegen	2024-09-24 14:42:37 +02:00
Tom Hvitved	f287216060	Update expected test output	2024-09-24 14:21:38 +02:00
Chuan-kai Lin	1cd8af54f2	Merge pull request #17190 from github/cklin/diff-informed-java-queries ... Java: add support for alert location restrictions	2024-09-23 08:39:24 -07:00