Paolo Tranquilli
|
814218c7a8
|
Swift: extract variables as children of ForEachStmt
|
2024-11-28 11:03:46 +01:00 |
|
Geoffrey White
|
d1915c707d
|
Swift: Add a test revealing the issue in pure dataflow.
|
2024-11-26 11:24:42 +00:00 |
|
Geoffrey White
|
45858527e2
|
Swift: Add another test case.
|
2024-11-26 11:15:24 +00:00 |
|
Geoffrey White
|
6130679c34
|
Swift: Label the now missing cases for CWE-020 and dataflow.
|
2024-11-26 11:13:19 +00:00 |
|
Alexander Eyers-Taylor
|
c0474c4e45
|
Revert "Revert "Post-release preparation for codeql-cli-2.19.4""
|
2024-11-21 15:37:52 +00:00 |
|
Alexander Eyers-Taylor
|
4effe9e364
|
Revert "Post-release preparation for codeql-cli-2.19.4"
|
2024-11-21 14:43:15 +00:00 |
|
github-actions[bot]
|
3909df75dc
|
Post-release preparation for codeql-cli-2.19.4
|
2024-11-19 17:54:03 +00:00 |
|
github-actions[bot]
|
9783a11565
|
Release preparation for version 2.19.4
|
2024-11-19 16:21:37 +00: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
|
afd4585561
|
Merge branch 'main' into redsun82/swift-6
|
2024-11-06 08:05:52 +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
|
3aa7123032
|
Swift: restrict UnresolvedAstNodes to known locations
|
2024-10-31 09:26:14 +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 |
|
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 |
|