197 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	b08f5356dd	Merge pull request #18772 from paldepind/rust-method-call ... Rust: Adjust argument position when call expression is for method	2025-02-17 13:39:24 +01:00
Simon Friis Vindum	3f19279e98	Rust: Adjust argument position when call expression is for method	2025-02-13 14:12:14 +01:00
Simon Friis Vindum	a1069b1667	Rust: Add examples with methods called as functions	2025-02-13 14:03:35 +01:00
Tom Hvitved	e9c25037d4	Rust: Use Field MaD token instead of Variant, Struct, Tuple	2025-02-13 13:32:08 +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	0d9e1b410c	Rust: Additional test cases exposing what works and what doesn't.	2025-02-11 17:23:54 +00:00
Simon Friis Vindum	608c1523d2	Rust: Add a few tests for modeled flow for Option	2025-02-11 16:02:04 +01:00
Geoffrey White	f61c157c0a	Rust: Repair test after merging main.	2025-02-11 14:47:42 +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	efb5b9b27c	Rust: Add a comment to clearify test	2025-02-11 13:15:32 +01:00
Geoffrey White	2c85353b7e	Merge branch 'main' into http	2025-02-10 09:07:34 +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
Simon Friis Vindum	11685a820f	Rust: Add flow tests involving references	2025-02-07 13:47:58 +01:00
Simon Friis Vindum	4581e772d6	Merge pull request #18709 from paldepind/rust-model-generation-test ... Rust: Add additional tests for model generation	2025-02-07 11:14:41 +01: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
Simon Friis Vindum	5bef9c98ff	Rust: Accept changes	2025-02-07 10:20:15 +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
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	04d3f989ec	Rust: Add tests for flow through clone	2025-02-04 17:09:26 +01:00
Geoffrey White	0cdef97276	Merge branch 'main' into sourcemodels4	2025-02-04 14:30:37 +00: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
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
Tom Hvitved	f1050c4988	Rust: Shorthand record pattern destructuring in data flow	2025-02-03 13:00:52 +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
Tom Hvitved	8b82eaa633	Rust: Fix data flow through callbacks passed to library functions	2025-01-28 13:44:27 +01:00
Geoffrey White	f2564c351f	Rust: Changes to other tests - mostly MaD IDs :(.	2025-01-28 09:22:30 +00:00