37 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	0e965f7616	Rust: Accept changes	2025-03-10 14:39:37 +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	1608524c26	Rust: Accept changes to the dataflow/sources test as well.	2025-02-05 10:40:26 +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	23ac35e5ca	Rust: Model more Reqwest methods (.await still doesn't work though).	2025-01-27 20:52:31 +00:00
Geoffrey White	9583a2a7d3	Rust: Additional test cases for reqwest sources.	2025-01-27 20:42:35 +00:00
Geoffrey White	b8aa518931	Rust: Re-model reqwest sources using models-as-data.	2025-01-17 13:52:22 +00:00
Geoffrey White	1a000c39c9	Rust: Remove QL models for reqwest sources.	2025-01-17 13:42:27 +00:00
Geoffrey White	5a73e0bd09	Rust: Re-model std::env sources using models-as-data.	2025-01-17 13:39:04 +00:00
Geoffrey White	db4370d149	Rust: Remove QL models for std::env sources.	2025-01-17 10:28:46 +00:00
Michael Nebel	864c34fc03	Rust: Update all test util paths to point to the new location.	2024-12-12 15:02:59 +01:00
Tom Hvitved	1c56692c02	Rust: update inline expectations	2024-12-05 14:43:39 +01:00
Paolo Tranquilli	c46f44da5f	Rust: fix QL compilation errors	2024-11-29 15:55:51 +01:00
Simon Friis Vindum	d30f3e2822	Rust: Renamed expr on CallExpr and LetExpr	2024-11-26 15:22:14 +01:00
Geoffrey White	bded7085f0	Rust: Effect of toString changes in main.	2024-11-25 10:01:57 +00:00
Geoffrey White	f2f577f86c	Rust: Fix toString().	2024-11-22 17:09:52 +00:00
Geoffrey White	ed67dae850	Rust: Make ql-for-ql happy.	2024-11-22 11:33:35 +00:00
Geoffrey White	292b29b0e3	Rust: Fix following rebase on main.	2024-11-22 09:13:48 +00: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	be40085982	Rust: Add a test of flow sources reaching sinks as well.	2024-11-22 09:13:42 +00:00
Geoffrey White	a85ad4ec29	Rust: Add a dataflow/sources test.	2024-11-22 09:13:41 +00:00