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
Anders Schack-Mulligen
3a1e50dcf9
Dataflow: Simplify diff-informed implementation and tweak flag name.
2024-09-20 07:07:10 -07:00
Tom Hvitved
16813240ae
Shared: Do not use @kind graph for CFG test output
2024-09-19 18:13:31 +02:00
Tom Hvitved
8c0d2e910c
Swift: Run code generator
2024-09-17 20:25:57 +02:00
Tom Hvitved
961b077954
Swift: Add change note
2024-09-16 19:27:31 +02:00
Chris Smowton
30be6803c3
Merge pull request #17480 from github/post-release-prep/codeql-cli-2.19.0
...
Post-release preparation for codeql-cli-2.19.0
2024-09-16 16:06:58 +01:00
Paolo Tranquilli
37f3ea137b
Merge pull request #17474 from github/redsun82/swift-cfg-order-disambuigation
...
Swift: tentative fix to Cfg disambuigation
2024-09-16 16:54:26 +02:00
Paolo Tranquilli
d1704cfb14
Merge pull request #17444 from hvitved/rust/final-classes
...
Rust/Swift: Make all public AST classes `final`
2024-09-16 16:42:40 +02:00
github-actions[bot]
79be301984
Post-release preparation for codeql-cli-2.19.0
2024-09-16 14:09:32 +00:00
Tom Hvitved
8d68bdf4d6
Codegen: Fix return type of getResolveStep and resolve
2024-09-16 14:19:29 +02:00
Tom Hvitved
575023f212
Swift: Add up/downgrade scripts
2024-09-16 13:40:06 +02:00
Tom Hvitved
d2f633b3b4
Swift: Manual changes after running code generator
2024-09-16 13:40:05 +02:00
Tom Hvitved
c785cd9d7b
Swift: Revert Impl rename for manually added files
2024-09-16 13:40:03 +02:00
Tom Hvitved
4ab5a1a060
Swift: Run code generator
2024-09-16 13:40:02 +02:00
Tom Hvitved
5fc762d811
Swift: Add Impl suffix to all stub/implementation classes
...
```
find . -maxdepth 5 -type f -not -name "*Constructor.qll" -print | sed 's/.qll//g' | xargs -I '{}' mv '{}'.qll '{}'Impl.qll
```
2024-09-16 13:39:59 +02:00
github-actions[bot]
acdafd9646
Release preparation for version 2.19.0
2024-09-16 10:56:10 +00:00
Chris Smowton
030977003e
Merge pull request #17472 from github/dbartol/rc-3.15-mergeback
...
Mergeback from `rc/3.15`
2024-09-16 09:10:45 +01:00
Paolo Tranquilli
d74dd2161a
Swift: tentative fix to Cfg disambuigation
2024-09-16 09:14:09 +02:00
Tom Hvitved
74440273f1
Swift: Add DB up/downgrade scripts
2024-09-16 08:47:49 +02:00
Dave Bartolomeo
485fc04029
Initial merge from main
2024-09-15 08:55:31 -04:00
Tom Hvitved
4912ee8ab3
Swift: Make Callable a sub type of AstNode
2024-09-13 15:39:40 +02:00
Chuan-kai Lin
ff78bebf19
Shared support for alert filtering
2024-09-11 13:18:26 -07:00
github-actions[bot]
97edff3f70
Post-release preparation for codeql-cli-2.18.4
2024-09-09 18:45:46 +00:00
github-actions[bot]
91537cdf9a
Release preparation for version 2.18.4
2024-09-09 16:08:48 +00:00
Paolo Tranquilli
56e127849f
Rust/Codegen: fix generated list files
2024-09-09 12:31:09 +02:00
Paolo Tranquilli
b23e482ed2
Merge branch 'main' into rust-experiment
2024-09-05 12:29:29 +02:00
Paolo Tranquilli
57534599c8
Merge pull request #17352 from github/redsun82/swift
...
Swift: upgrade prebuilt toolchain to 5.10.1
2024-09-05 09:17:06 +02:00
erik-krogh
e2b16bd8f9
add some change-notes
2024-09-03 22:06:07 +02:00
erik-krogh
0fdd06fff5
use my script to delete outdated deprecations
2024-09-03 20:30:58 +02:00
Paolo Tranquilli
59423c692f
Swift: upgrade prebuilt toolchain to 5.10.1
2024-09-03 10:38:58 +02:00
Geoffrey White
c082c256a2
Merge pull request #17244 from geoffw0/swiftdoc2
...
Swift: Work around some QHelp rendering issues.
2024-09-02 12:26:23 +01:00
Paolo Tranquilli
3da6cee6ef
Merge branch 'main' into rust-experiment
2024-08-30 10:30:43 +02:00
Henry Mercer
3490067316
Merge branch 'main' into henrymercer/rc-3.15-mergeback
2024-08-29 19:48:01 +01:00
Cornelius Riemenschneider
047a655dec
Merge pull request #17324 from github/criemen/move-swift-int-tests
...
Swift: Move all integration tests.
2024-08-28 21:27:26 +02:00
Paolo Tranquilli
f40901f391
Rust: archiving + skeleton def translator
2024-08-28 17:15:49 +02:00
Tom Hvitved
7f8e6bf574
Merge pull request #16970 from hvitved/dataflow/local-big-step-stage
...
Data flow: Compute local big step relation as stage output
2024-08-28 12:28:16 +02:00
Cornelius Riemenschneider
a92a845719
Swift: Move all integration tests.
...
We are no longer bound to the platform-specific directories,
so simplify the test organization.
If you don't want this change, just skip merging this PR. It's purely optional.
2024-08-28 10:47:17 +02:00
Tom Hvitved
c92c96fa78
Data flow: Compute local big step relation per stage
2024-08-26 09:15:27 +02:00
