Geoffrey White
7e8e855f28
Rust: Fix bug when there are no statements.
2025-09-24 17:16:26 +01:00
Geoffrey White
b12b36f302
Rust: Codegen.
2025-09-24 17:04:28 +01:00
Geoffrey White
8debce0349
Rust: Add helper predicates for accessing statements and expressions together.
2025-09-24 17:04:08 +01:00
Geoffrey White
85945dba29
Rust: Codegen.
2025-09-24 16:08:06 +01:00
Geoffrey White
ed3a6fd799
Rust: Codegen.
2025-09-24 15:32:10 +01:00
Tom Hvitved
e6b1e8ec56
Rust: Check call arities in path resolution
2025-09-24 10:19:56 +02:00
Tom Hvitved
92cced201e
Merge pull request #20496 from hvitved/rust/path-resolution-use-visibility
...
Rust: Visibility check for qualified path resolution
2025-09-24 10:19:22 +02:00
Simon Friis Vindum
26aa938acc
Merge pull request #20452 from paldepind/rust/mad-source-parameter
...
Rust, shared: Support `Parameter` in source MaD models
2025-09-24 09:37:25 +02:00
Tom Hvitved
1183e50435
Update rust/ql/lib/change-notes/2025-09-19-parameter-mad.md
2025-09-22 19:45:34 +02:00
Geoffrey White
5ad332e37f
Merge pull request #20432 from github/copilot/fix-f50317f8-0a91-4bb4-a01b-353dcf0f6f3f
...
Rust: Implement new query for non-HTTPS URLs (CWE-319)
2025-09-22 18:03:52 +01:00
Geoffrey White
6362884d16
Rust: Autoformat.
2025-09-22 16:59:11 +01:00
Geoffrey White
43ac75ed62
Rust: Address another tiny suggestion from review.
2025-09-22 16:58:07 +01:00
Geoffrey White
94afc82304
Rust: Fix an issue with the local flow.
2025-09-22 16:12:25 +01:00
Geoffrey White
a3ed83bfff
Rust: Make state transition / barrier nodes more reliable.
2025-09-22 16:12:23 +01:00
Geoffrey White
2654affeee
Rust: Account for the 'secure' and 'partitioned' attributes.
2025-09-22 16:12:22 +01:00
Geoffrey White
257a1b0179
Rust: Refactor sources, sinks into an extensions source file.
2025-09-22 16:09:30 +01:00
Geoffrey White
eadf922280
Rust: Use models-as-data, add source/sink/flow models.
2025-09-22 16:04:56 +01:00
Simon Friis Vindum
45b84ffb31
Rust: Ensure singleton
2025-09-22 14:23:50 +02:00
Simon Friis Vindum
4244a6569c
Rust: Add change note
2025-09-22 14:19:01 +02:00
Simon Friis Vindum
265e8b3623
Shared: Pass SummaryComponentStack to isSource and getSourceType
2025-09-22 14:18:54 +02:00
Simon Friis Vindum
014c27ee8a
Rust: Discard sources with spaces in inline flow tests
2025-09-22 14:13:39 +02:00
Tom Hvitved
78641b4dde
Rust: Reduce size of unqualifiedPathLookup
2025-09-22 09:46:28 +02:00
Tom Hvitved
b5b6f06005
Rust: Fix bad join
...
```
Evaluated relational algebra for predicate _PathResolution::CrateItemNode.getName/0#dispred#91b4dd6b_PathResolution::SourceFileItemNode#bd8f490__#antijoin_rhs@e84aee8k with tuple counts:
35406180 ~0% {3} r1 = JOIN PathResolution::SourceFileItemNode#bd8f4905 WITH `PathResolution::CrateItemNode.getName/0#dispred#91b4dd6b` CARTESIAN PRODUCT OUTPUT Lhs.0, Rhs.1, Rhs.0
8455 ~2% {4} | JOIN WITH `PathResolution::declaresDirectly/3#7d0350fb_021#join_rhs` ON FIRST 2 OUTPUT Rhs.2, Lhs.0, Lhs.2, Lhs.1
3259 ~0% {3} | JOIN WITH num#PathResolution::TTypeNamespace#4897e416 ON FIRST 1 OUTPUT Lhs.1, Lhs.2, Lhs.3
return r1
```
2025-09-22 09:38:43 +02:00
Tom Hvitved
b2cc01c490
Rust: Visibility check for qualified path resolution
2025-09-22 09:38:30 +02:00
Tom Hvitved
223ab5e60c
Rust: Add missing model
2025-09-21 15:28:50 +02:00
Tom Hvitved
bdeeb3217e
Rust: Add path resolution tests
2025-09-20 09:30:55 +02:00
Simon Friis Vindum
afb6d30762
Rust: Fix typo in superseded
2025-09-19 14:27:14 +02:00
Simon Friis Vindum
72103adacc
Rust: Fix spurious path resolution
...
The annotated impl block was filtered away, but it's children where not. This caused the associated type `Foo` to appear as if it was an item in the scope outside of the impl block.
2025-09-19 14:25:11 +02:00
Simon Friis Vindum
60ceb89f01
Rust: Add debug predicate for ItemNode
2025-09-19 14:23:44 +02:00
Simon Friis Vindum
32365fd673
Rust: Account for attribute expansions in path resolution
2025-09-19 14:22:00 +02:00
Simon Friis Vindum
c7a9cc5a42
Rust: Use annotations also for items in macro expansions
2025-09-19 14:19:27 +02:00
Tom Hvitved
f6bdfba3b3
Rust: Path resolution improvements
2025-09-19 09:43:22 +02:00
Ian Lynagh
c653d939d9
Merge pull request #20451 from github/post-release-prep/codeql-cli-2.23.1
...
Post-release preparation for codeql-cli-2.23.1
2025-09-17 13:00:14 +01:00
github-actions[bot]
4e8343664f
Post-release preparation for codeql-cli-2.23.1
2025-09-17 10:13:40 +00:00
Simon Friis Vindum
05d5c1dda7
Merge pull request #20398 from paldepind/rust/warp-model
...
Rust: Add tests and models for Warp
2025-09-17 11:37:56 +02:00
Simon Friis Vindum
46cd62bd51
Rust: Use .. notation in model
2025-09-17 09:18:41 +02:00
Simon Friis Vindum
f432498574
Rust: Use comma notation in Warp model
2025-09-17 09:18:40 +02:00
Simon Friis Vindum
1af6b37fc4
Rust: Add models for Warp
2025-09-17 09:18:39 +02:00
Geoffrey White
6f1fcbf41b
Rust: Add IPv6 private address range (and explanatory comments).
2025-09-16 17:21:08 +01:00
github-actions[bot]
02a1b1efcb
Release preparation for version 2.23.1
2025-09-16 14:14:42 +00:00
Geoffrey White
4b281fdf12
Rust: Use case insensitive regexps.
2025-09-16 13:02:54 +01:00
Geoffrey White
80ce55ab10
Rust: Make the private address spaces URL more accurate.
2025-09-16 12:53:44 +01:00
Geoffrey White
0f5aa857b8
Rust: Remove unnecessary import.
2025-09-16 12:41:28 +01:00
Tom Hvitved
7cac226ad9
Rust: Adjust SSA write node for (compound) assignments
2025-09-16 13:05:50 +02:00
copilot-swe-agent[bot]
e630bf86bd
Implement Rust non-HTTPS URL query (CWE-319)
...
Co-authored-by: geoffw0 <40627776+geoffw0@users.noreply.github.com >
2025-09-15 11:44:05 +00:00
Simon Friis Vindum
78389c8897
Merge pull request #20133 from paldepind/rust/type-inference-blanket-impl
...
Rust: Support blanket implementations
2025-09-15 12:46:41 +02:00
Simon Friis Vindum
af49301332
Merge pull request #20381 from paldepind/rust/request-forgery-query
...
Rust: Add basic request forgery query
2025-09-15 12:46:23 +02:00
Geoffrey White
00f644888c
Merge pull request #20426 from geoffw0/cookie2
...
Rust: cookie and biscotti crypto query sinks
2025-09-15 11:07:46 +01:00
Simon Friis Vindum
35438294d1
Rust: Remove condition that always holds
2025-09-15 10:58:27 +02:00
Simon Friis Vindum
875c7da87c
Rust: Improve comments in type inference
2025-09-15 10:37:38 +02:00
