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
|
9bc3b0e96e
|
Rust: Update a test to use shorthand record syntax
|
2025-02-06 19:19:17 +01:00 |
|
Geoffrey White
|
bce4735062
|
Rust: Additional test case suggested by copilot.
|
2025-02-06 14:29:26 +00: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 |
|
Geoffrey White
|
1ff7a521d5
|
Rust: Add a flow test for some iterator methods.
|
2025-02-06 12:51:34 +00:00 |
|
Geoffrey White
|
c597818c4b
|
Rust: Add a flow test for to_string() and parse().
|
2025-02-06 10:30:27 +00:00 |
|
Geoffrey White
|
6966c96e7a
|
Rust: Add a test case for parse on a command line arg.
|
2025-02-06 10:29:53 +00:00 |
|
Simon Friis Vindum
|
820d2cbeb8
|
Shared: Use edge dominance in basic block library
|
2025-02-06 10:38:32 +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 |
|
Tom Hvitved
|
22f6f4e46b
|
Rust: Add data flow test for tuple structs
|
2025-02-05 13:27:04 +01:00 |
|
Simon Friis Vindum
|
6e99087b40
|
Rust: Basic support for futures and await
|
2025-02-05 13:22:57 +01:00 |
|
Geoffrey White
|
f9f5d2c3c2
|
Rust: Accept changes to consistency test .expected file as well.
|
2025-02-05 11:45:38 +00:00 |
|
Simon Friis Vindum
|
a40cfeb6c7
|
Rust: Add test for model returning a future
|
2025-02-05 12:35:56 +01:00 |
|
Geoffrey White
|
1608524c26
|
Rust: Accept changes to the dataflow/sources test as well.
|
2025-02-05 10:40:26 +00:00 |
|
Geoffrey White
|
0590c6f171
|
Rust: Fix .expected after merge.
|
2025-02-05 10:36:11 +00: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 |
|
Simon Friis Vindum
|
670ecb3298
|
Merge pull request #18673 from paldepind/rust-higher-order-function-model-generation
Rust: Higher order function model generation
|
2025-02-05 09:15:46 +01:00 |
|
Simon Friis Vindum
|
d198a4a3cd
|
Rust: Accept test changes
|
2025-02-04 18:26:05 +01:00 |
|
Simon Friis Vindum
|
04d3f989ec
|
Rust: Add tests for flow through clone
|
2025-02-04 17:09:26 +01:00 |
|
Geoffrey White
|
9a6ef3dae7
|
Rust: Accept more test changes.
|
2025-02-04 15:14:05 +00:00 |
|
Geoffrey White
|
0cdef97276
|
Merge branch 'main' into sourcemodels4
|
2025-02-04 14:30:37 +00:00 |
|
Tom Hvitved
|
f1140530c0
|
Merge pull request #18656 from hvitved/rust/record-destruct-shorthand
Rust: Shorthand record pattern destructuring in data flow
|
2025-02-04 15:25:12 +01:00 |
|
Simon Friis Vindum
|
b0a3cdc68c
|
Rust: Generate flow summaries for higher-order functions
|
2025-02-04 14:03:19 +01:00 |
|
Simon Friis Vindum
|
c9e702d107
|
Rest: Add tests for higher-order functions
|
2025-02-04 13:44:29 +01:00 |
|
Geoffrey White
|
d72361588c
|
Update rust/ql/test/library-tests/dataflow/sources/test.rs
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-02-04 12:25:02 +00:00 |
|
Simon Friis Vindum
|
8d01bbc1e3
|
Merge pull request #18628 from paldepind/rust-flow-summary-generation
Rust: Initial model generation setup
|
2025-02-04 12:37:09 +01:00 |
|
Geoffrey White
|
23e9270a20
|
Rust: Add test cases for flow through references.
|
2025-02-04 10:28:08 +00:00 |
|
Geoffrey White
|
810dd55d47
|
Rust: Add test cases for flow through async / await.
|
2025-02-04 10:28:06 +00:00 |
|
Geoffrey White
|
ff53d422cb
|
Rust: Model some sources in hyper.
|
2025-02-04 10:28:05 +00:00 |
|
Geoffrey White
|
d64d955253
|
Rust: Add test cases for requests through hyper + http.
|
2025-02-04 10:27:58 +00:00 |
|
Simon Friis Vindum
|
07413315a1
|
Rust: Address PR comments
|
2025-02-04 10:19:04 +01:00 |
|
Simon Friis Vindum
|
fc15c0d3b2
|
Merge branch 'main' into rust-flow-summary-generation
|
2025-02-04 10:10:33 +01:00 |
|
Tom Hvitved
|
f1050c4988
|
Rust: Shorthand record pattern destructuring in data flow
|
2025-02-03 13:00:52 +01:00 |
|
Asger F
|
fc1d36f867
|
Rust: update a Rust test case
|
2025-02-03 11:31:04 +01:00 |
|
Simon Friis Vindum
|
0a9b864738
|
Rust: Fix model generation test
|
2025-02-03 09:06:07 +01:00 |
|
Tom Hvitved
|
8eb5792f3b
|
Address review comments
|
2025-01-31 10:10:55 +01:00 |
|
Tom Hvitved
|
1f6d39f520
|
Rust: Rename modules test to path-resolution
|
2025-01-31 10:07:10 +01:00 |
|
Tom Hvitved
|
0aee2e6fb2
|
Rust: Implement path resolution in QL
|
2025-01-31 10:07:08 +01:00 |
|
Simon Friis Vindum
|
f76647fc00
|
Rust: Initial model generation setup
|
2025-01-30 11:45:21 +01:00 |
|
Arthur Baars
|
54efb0a4a6
|
Merge pull request #18611 from github/aibaars/use-tree-star
Rust: add UseTree::is_star
|
2025-01-29 14:42:03 +01:00 |
|
Geoffrey White
|
3b5397f3b0
|
Rust: Model Iterator.collect.
|
2025-01-29 09:19:20 +00:00 |
|
Geoffrey White
|
de149a9623
|
Rust: Model Iterator.nth.
|
2025-01-29 09:19:19 +00:00 |
|
Geoffrey White
|
919e7978cd
|
Rust: Add PrettyPrintModels.ql to the test. I gather this stabilized the output MaD IDs.
|
2025-01-28 16:23:20 +00:00 |
|
Arthur Baars
|
8d96c87abe
|
Rust: add UseTree::is_star
|
2025-01-28 16:12:25 +01:00 |
|
Tom Hvitved
|
8b82eaa633
|
Rust: Fix data flow through callbacks passed to library functions
|
2025-01-28 13:44:27 +01:00 |
|