Geoffrey White
d0e0a7b0d0
Merge branch 'main' into http
2025-02-12 12:56:29 +00:00
Tom Hvitved
498828e91a
Rust: Implement TypeParam.to(Abbreviated)String
2025-02-12 13:23:51 +01:00
Simon Friis Vindum
f5b247d314
Merge branch 'main' into rust-ref-pattern
2025-02-12 13:23:19 +01:00
Simon Friis Vindum
7476aeaabf
Rust: Handle ref patterns in data flow
...
To do this we:
* Let SSA writes target the name inside identifier patterns instead of
the pattern itself
* Include relevant names in the data flow graph
* Add a store step from a identifier patterns with `ref` into the
contained name. So we have an edge `ref a` -> `a` that stores in the
reference content type.
2025-02-12 13:20:11 +01:00
Geoffrey White
bc1805c635
Rust: .yaml -> .yml
2025-02-12 10:48:49 +00:00
Geoffrey White
cfcc6c8a50
Rust: Rename model file.
2025-02-12 10:16:57 +00:00
Simon Friis Vindum
5da14252ed
Rust: Include names in patterns in the CFG
2025-02-12 10:48:57 +01:00
Geoffrey White
333b183f43
Merge branch 'main' into http
2025-02-12 09:40:12 +00:00
Simon Friis Vindum
b24386fb58
Merge pull request #18743 from paldepind/rust-add-generated-option-model
...
Rust: Add generated flow summaries for `Option`
2025-02-12 08:51:03 +01:00
Simon Friis Vindum
94f0710350
Merge pull request #18741 from paldepind/rust-identity-pattern-to-string
...
Rust: Tweak `toString` on identity pattern
2025-02-12 08:47:15 +01:00
Simon Friis Vindum
655449be81
Rust: Add auto generated flow summaries for Option
2025-02-12 08:38:47 +01:00
Geoffrey White
e7fdfd06bf
Merge branch 'main' into nth
2025-02-11 17:37:11 +00:00
Geoffrey White
8a3a0ef24d
Rust: Use Future in the other models as well.
2025-02-11 14:54:52 +00:00
Geoffrey White
e594074421
Merge branch 'main' into http
2025-02-11 14:38:58 +00:00
Simon Friis Vindum
5a49390615
Merge pull request #18685 from paldepind/rust-future-content
...
Rust: Basic support for future content and `.await`
2025-02-11 15:27:32 +01:00
Simon Friis Vindum
a09b37edc3
Rust: Expand on toString of IdentPat
2025-02-11 15:25:54 +01:00
Simon Friis Vindum
58d86fd2a9
Merge pull request #18714 from paldepind/rust-pointer
...
Rust: Handle writes to references and add encoding of reference content
2025-02-11 14:12:56 +01:00
Simon Friis Vindum
c7412cc839
Merge pull request #18696 from paldepind/shared-bb-dominates
...
Shared: Use edge dominance terminology in basic block library
2025-02-11 14:12:07 +01:00
Geoffrey White
72a8ab3411
Update rust/ql/lib/codeql/rust/frameworks/http.model.yml
...
Co-authored-by: Simon Friis Vindum <paldepind@github.com >
2025-02-11 09:55:04 +00:00
Tom Hvitved
eaaf510b29
Merge pull request #18728 from hvitved/rust/path-resolution-namespaces
...
Rust: Model namespaces in path resolution
2025-02-11 10:29:57 +01:00
Simon Friis Vindum
7c57962add
Merge branch 'main' into shared-bb-dominates
2025-02-11 09:31:06 +01:00
Anders Schack-Mulligen
e1c810a50c
Merge pull request #18729 from aschackmull/ssa/deprecate-deadcode
...
Ssa: Deprecate the unused getALastRead predicate.
2025-02-11 08:51:02 +01:00
Mathew Payne
1b30847310
Merge branch 'main' into rust-rusqlite
2025-02-10 15:22:05 +00:00
Geoffrey White
9eeae712d7
Merge pull request #18712 from GeekMasher/rust-db-sources
...
Rust: Add Database Sources + tokio-postgres support
2025-02-10 15:18:58 +00:00
Anders Schack-Mulligen
0b5270979d
SSA: Remove the need for ExitBasicBlock in SSA.
2025-02-10 14:36:18 +01:00
Anders Schack-Mulligen
34edda6b9b
C#/Ruby/Rust: Deprecate dead code.
2025-02-10 14:24:38 +01:00
Tom Hvitved
c7441ab005
Rust: Model namespaces in path resolution
2025-02-10 13:55:41 +01:00
GeekMasher
3e38867cb2
feat(rust): Add ReSQLite source support
2025-02-10 11:11:01 +00:00
Geoffrey White
2c85353b7e
Merge branch 'main' into http
2025-02-10 09:07:34 +00:00
Geoffrey White
f3501819f7
Merge branch 'main' into nth
2025-02-07 18:13:18 +00:00
Geoffrey White
b5c07540d0
Merge pull request #18621 from geoffw0/sourcemodels4
...
Rust: Improve models for environment sources, iterators
2025-02-07 16:02:28 +00:00
Simon Friis Vindum
11055760a4
Rust: Handle writes to references and add encoding of reference content
2025-02-07 13:53:17 +01:00
Mathew Payne
6e5899b4ff
Merge branch 'main' into rust-rusqlite
2025-02-07 10:51:02 +00:00
Mathew Payne
5c656412d1
Update rust/ql/lib/codeql/rust/frameworks/tokio-postgres.model.yml
...
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com >
2025-02-07 10:33:29 +00:00
GeekMasher
5943cc16e4
feat(rust): Add Database Sources + tokio-postgres support
2025-02-07 10:26:40 +00:00
Tom Hvitved
d8c9427d3e
Merge pull request #18700 from hvitved/rust/shorthand-struct
...
Rust: Shorthand record construction in data flow
2025-02-07 10:59:52 +01:00
Tom Hvitved
100de73066
Merge pull request #18689 from hvitved/rust/path-resolution-type-param
...
Rust: Extend path resolution to cover type parameters
2025-02-07 08:55:27 +01:00
Simon Friis Vindum
9bcfd010d4
Merge pull request #18676 from paldepind/rust-model-clone
...
Rust: Model `clone`
2025-02-07 08:37:44 +01:00
Tom Hvitved
707bf16d90
Rust: Shorthand record construction in data flow
2025-02-06 19:19:18 +01:00
Tom Hvitved
aca70cd1ea
Merge pull request #18675 from hvitved/rust/struct-tuple-field
...
Rust: Implement data flow through tuple structs
2025-02-06 19:17:53 +01:00
Simon Friis Vindum
b2ba5f4f38
Rust: Make imports private
2025-02-06 16:07:25 +01:00
Geoffrey White
a8a051234e
Rust: Model parse.
2025-02-06 12:51:41 +00:00
Geoffrey White
d0f5aad085
Rust: Model to_string.
2025-02-06 12:51:40 +00:00
Simon Friis Vindum
820d2cbeb8
Shared: Use edge dominance in basic block library
2025-02-06 10:38:32 +01:00
Paolo Tranquilli
d65a704209
Merge pull request #18635 from hvitved/codegen/self-type-alias
...
Codegen: Improve return type of self-typed properties
2025-02-05 17:20:25 +01:00
Tom Hvitved
493953e724
Rust: Extend path resolution to cover type parameters
2025-02-05 15:30:07 +01:00
Tom Hvitved
e4d9e29368
Rust: Implement data flow through tuple structs
2025-02-05 13:27:07 +01:00
Simon Friis Vindum
6e99087b40
Rust: Basic support for futures and await
2025-02-05 13:22:57 +01:00
Geoffrey White
70d969f3a0
Merge branch 'main' into http
2025-02-05 09:36:43 +00:00
Simon Friis Vindum
86d7feabc6
Rust: Add value flow model for clone methods
2025-02-05 09:18:58 +01:00
