58 Commits

Author	SHA1	Message	Date
Geoffrey White	bbef3fe7fa	Rust: Test dataflow through conversions.	2025-03-19 18:13:23 +00:00
Tom Hvitved	e8505ad33d	Rust: Use type inference to resolve method calls and field accesses	2025-03-13 13:23:13 +01:00
Simon Friis Vindum	bc651af319	Merge branch 'main' into rust-ref-mut	2025-02-28 11:42:06 +01:00
Simon Friis Vindum	476fef49da	Rust: Allow SSA and some data flow for mutable borrows	2025-02-26 16:00:52 +01:00
Geoffrey White	0ef4c6f954	Merge branch 'main' into okerr	2025-02-26 12:33:39 +00:00
Geoffrey White	12d5a30703	Rust: Add a test of mutable iterators as well.	2025-02-18 17:20:43 +00:00
Geoffrey White	fdcbbdfa08	Rust: Model them.	2025-02-13 17:42:41 +00:00
Geoffrey White	2d9e1b3d16	Rust: Add a test of Result.ok and Result.err.	2025-02-13 17:39:20 +00:00
Geoffrey White	edda26c90d	Merge branch 'main' into nth	2025-02-12 15:14:20 +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
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
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
Geoffrey White	70d969f3a0	Merge branch 'main' into http	2025-02-05 09:36:43 +00:00
Geoffrey White	23e9270a20	Rust: Add test cases for flow through references.	2025-02-04 10:28:08 +00:00
Tom Hvitved	f1050c4988	Rust: Shorthand record pattern destructuring in data flow	2025-02-03 13:00:52 +01:00
Tom Hvitved	8b82eaa633	Rust: Fix data flow through callbacks passed to library functions	2025-01-28 13:44:27 +01:00
Geoffrey White	dfd1865b96	Rust: Add some basic flow models.	2025-01-28 08:47:15 +00:00
Geoffrey White	c04d619a3c	Rust: Add a couple of extra data flow test cases.	2025-01-28 08:47:13 +00:00
Simon Friis Vindum	42d125676e	Rust: Value flow through macro calls	2025-01-03 13:47:29 +01:00
Simon Friis Vindum	f09632df58	Rust: Add data flow tests for macros and format_args	2025-01-03 13:28:19 +01:00
Simon Friis Vindum	09fd27af80	Rust: Add read steps for tuple and reference patterns	2024-12-18 13:22:05 +01:00
Simon Friis Vindum	defbbb2a24	Rust: Add additional models for stdlib and sqlx	2024-12-16 11:46:57 +01:00
Simon Friis Vindum	df0375103c	Rust: Add data flow tests	2024-12-16 11:09:22 +01:00
Simon Friis Vindum	9da5d7128b	Rust: Add test with data flow inconsistency	2024-12-16 09:40:13 +01:00
Simon Friis Vindum	e8357a648d	Rust: Add additional data flow tests	2024-12-11 14:56:16 +01:00
Simon Friis Vindum	c62b7d139f	Merge branch 'main' into rust-df-array	2024-12-04 13:55:26 +01:00
Simon Friis Vindum	7092f13584	Merge branch 'main' into rust-df-try-expr	2024-12-04 10:59:07 +01:00
Simon Friis Vindum	bb015cf56d	Merge branch 'main' into rust-df-closure	2024-12-04 09:25:18 +01:00
Simon Friis Vindum	70c60868a6	Rust: Model ? as reading from Option and Result	2024-12-03 17:01:34 +01:00
Simon Friis Vindum	b50834aee8	Rust: Add data flow tests for question mark operator	2024-12-03 16:21:26 +01:00
Simon Friis Vindum	cac4514eae	Rust: Add basic data flow through arrays	2024-12-03 14:15:54 +01:00
Simon Friis Vindum	3346b64e96	Rust: Add variables and data flow array tests	2024-12-03 14:14:41 +01:00
Tom Hvitved	3c767b086b	Rust: Use canonical paths for variants in data flow	2024-12-03 10:19:33 +01:00
Simon Friis Vindum	e377a0e05a	Merge branch 'main' into rust-df-closure	2024-12-03 10:09:52 +01:00
Tom Hvitved	3e5f4b7f89	Rust: Add a model for unwrap	2024-12-03 09:12:01 +01:00
Simon Friis Vindum	3420f1f43f	Address review comments, store step for tuple indexing	2024-12-02 13:27:26 +01:00
Simon Friis Vindum	b8d60cbb13	Rust: Implement predicates for lambdas/closures in the data flow library	2024-11-29 09:32:04 +01:00
Simon Friis Vindum	ad7480591b	Rust: Add data flow tests involving closures	2024-11-29 09:30:26 +01:00
Simon Friis Vindum	d89678f49f	Rust: Data flow through tuple and struct fields	2024-11-27 14:53:01 +01:00
Simon Friis Vindum	9ec9d79b4f	Rust: Add additional tests for flow through structs	2024-11-27 10:10:49 +01:00
Tom Hvitved	5e7cd46117	Rust: Flow through variants	2024-11-25 19:17:57 +01:00
Tom Hvitved	511f791511	Rust: Add more flow tests	2024-11-25 19:14:42 +01:00