28 Commits

Author	SHA1	Message	Date
Geoffrey White	24bcd041b8	Rust: Add flow models for io.	2025-04-14 14:20:45 +01:00
Geoffrey White	7a9ea52bc7	Rust: Add source models for io.	2025-04-14 10:47:30 +01:00
Geoffrey White	4f9f550ba6	Rust: Add source models for fs.	2025-04-14 10:47:26 +01:00
Geoffrey White	258c1afe27	Rust: Add tests for std::fs sources.	2025-04-14 10:47:21 +01:00
Geoffrey White	cef3cd9b54	Rust: Add tests for std::io sources.	2025-04-14 10:47:17 +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	edda26c90d	Merge branch 'main' into nth	2025-02-12 15:14:20 +00:00
Geoffrey White	0d9e1b410c	Rust: Additional test cases exposing what works and what doesn't.	2025-02-11 17:23:54 +00:00
Geoffrey White	2c85353b7e	Merge branch 'main' into http	2025-02-10 09:07:34 +00:00
Geoffrey White	f5b9691e7d	Rust: Accept fixed result.	2025-02-07 18:14:53 +00:00
Geoffrey White	f3501819f7	Merge branch 'main' into nth	2025-02-07 18:13:18 +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
Geoffrey White	70d969f3a0	Merge branch 'main' into http	2025-02-05 09:36:43 +00: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	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
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	dfd1865b96	Rust: Add some basic flow models.	2025-01-28 08:47:15 +00:00
Geoffrey White	185a23b3c6	Rust: Allow implicit flow out of content at the test sinks, so that we see our results.	2025-01-28 08:43:06 +00:00
Geoffrey White	a1980d4d08	Rust: Make sources more accurate (Option / Result contents).	2025-01-28 08:43:05 +00:00
Geoffrey White	7cf872baad	Rust: Adjust the tests to work around test processing of /.	2025-01-27 21:00:08 +00:00
Geoffrey White	9583a2a7d3	Rust: Additional test cases for reqwest sources.	2025-01-27 20:42:35 +00:00
Geoffrey White	5a73e0bd09	Rust: Re-model std::env sources using models-as-data.	2025-01-17 13:39:04 +00:00
Tom Hvitved	1c56692c02	Rust: update inline expectations	2024-12-05 14:43:39 +01:00
Geoffrey White	176e9a425f	Rust: Model reqwest.	2024-11-22 09:13:47 +00:00
Geoffrey White	e64f139c98	Rust: Model std::env.	2024-11-22 09:13:44 +00:00
Geoffrey White	a85ad4ec29	Rust: Add a dataflow/sources test.	2024-11-22 09:13:41 +00:00