12 Commits

Author	SHA1	Message	Date
Tom Hvitved	294c489fd8	Rust: Handle x[y] expressions as *.index(y) calls in data flow	2025-12-05 09:18:59 +01:00
Tom Hvitved	be1d756de4	Rust: Call refactor follow-up fixes	2025-12-04 21:15:28 +01:00
Tom Hvitved	bc6d38ebb4	Address review comments	2025-12-04 10:38:47 +01:00
Tom Hvitved	d8177274a8	Rust: Improve handling of deref expressions in data flow	2025-12-01 11:34:06 +01:00
Tom Hvitved	6b003580d1	Rust: Improve handling of implicit derefs/borrows in data flow	2025-12-01 11:34:01 +01:00
Geoffrey White	bd11873e0d	Rust: Generalize a model of futures_io...poll_read.	2025-10-27 12:22:13 +00:00
Geoffrey White	d650ccb74b	Rust: Generalize some std::io::Read models.	2025-10-27 12:09:04 +00:00
Geoffrey White	e18bf1661a	Rust: Accept result de-regression.	2025-10-22 17:52:12 +01:00
Geoffrey White	6b08297c2a	Rust: Repair after merge.	2025-10-22 17:46:25 +01:00
Geoffrey White	7efd4d26a0	Rust: Accept result regression. ... Presumably because of a change in context, e.g. the module wrapping this test now, or the different inputs. Either way we *should* be able to get the result, and what we *actually* get in our analysis doesn't change here either. We've just slightly changed the test and exposed a gap.	2025-10-22 09:02:12 +01:00
Geoffrey White	8a7e206401	Rust: Move the remaining test_futures_io test into net.	2025-10-22 09:02:11 +01:00
Geoffrey White	5ba331e986	Rust: Splits off sources/net.	2025-10-22 09:01:34 +01:00