42 Commits

Author	SHA1	Message	Date
Geoffrey White	74a350a432	Rust: Effect on tests.	2025-09-26 09:55:16 +01:00
Geoffrey White	118ac07b71	Rust: Convert 'from' models into one generic one.	2025-09-12 18:05:30 +01:00
Tom Hvitved	5b51bb2ef0	Rust: Deref as taint step	2025-09-02 08:55:10 +02:00
Geoffrey White	701aec1c8e	Rust: Fix the canonicalize models.	2025-08-22 14:35:51 +01:00
Geoffrey White	2f2a975350	Rust: Model path::new.	2025-08-22 09:58:09 +01:00
Geoffrey White	d1a5c9b297	Rust: Add a test case resembling code seen in the wild.	2025-08-22 09:58:08 +01:00
Geoffrey White	8b04bc0ceb	Rust: Model std::fs::OpenOptions and similar.	2025-08-22 09:58:07 +01:00
Geoffrey White	9fbbe02da0	Rust: Compact these models a little.	2025-08-22 09:58:05 +01:00
Geoffrey White	fcce862cea	Rust: Add an explicit test case for sinks with two relevant args.	2025-08-22 09:58:04 +01:00
Geoffrey White	16e0de0cfb	Rust: Fill gaps in the tokio models.	2025-08-22 09:58:03 +01:00
Geoffrey White	29e7b6ad2c	Rust: Fill a gap in the std::fs model.	2025-08-22 09:58:01 +01:00
Geoffrey White	1d2ac33bb6	Rust: Model async-std::fs.	2025-08-22 09:58:00 +01:00
Geoffrey White	8da44828a6	Rust: Add tests for std::fs::canonicalize and similar.	2025-08-21 16:47:12 +01:00
Geoffrey White	801be8fbbd	Rust: Add more tests for std::fs::DirBuilder and similar.	2025-08-21 16:47:11 +01:00
Geoffrey White	bc226e2117	Rust: Add more general test cases for async_std::fs and tokio::fs.	2025-08-21 16:47:10 +01:00
Geoffrey White	5da296d77f	Rust: Add tests for std::fs::OpenOptions and similar.	2025-08-21 16:47:08 +01:00
Geoffrey White	02b9229be7	Rust: Update StartswithCall.	2025-08-14 12:09:49 +01:00
Geoffrey White	6941e7fef1	Rust: Add tags to intermediate steps in the test.	2025-08-14 11:37:22 +01:00
Geoffrey White	ecf0e08f55	Rust: Add some more path injection test case variants.	2025-08-14 11:05:48 +01:00
Tom Hvitved	4ab2977358	Rust: Type inference for pattern matching	2025-07-11 10:37:40 +02:00
Tom Hvitved	c7d20eb98a	Rust: Update expected test output	2025-07-10 13:52:19 +02:00
Geoffrey White	91072477b7	Rust: Trivial test changes.	2025-06-30 20:15:18 +01:00
Tom Hvitved	1f09f713b9	Rust: Avoid overlapping path resolution consistency checks	2025-06-23 11:26:30 +02:00
Paolo Tranquilli	6253b5c5d0	Merge branch 'main' into redsun82/rust-regenerate-models	2025-06-20 15:27:40 +02:00
Paolo Tranquilli	7f1769e8d1	Rust: fix nightly toolchain version for tests using it ... Rather than fixing the version separately for each test, we can just request to use a nightly in the `options.yml` file, with the specific version hard-coded in `qltest.rs`. We can update it if we need to. It's better to have a single nightly version for all tests that require it, in order to avoid downloading more versions than necessary.	2025-06-20 14:03:42 +02:00
Paolo Tranquilli	0e9d4aacd9	Rust: accept test changes	2025-06-19 16:13:26 +02:00
Tom Hvitved	c88a5049e0	Rust: Fix column orders in interpretModelForTest	2025-06-18 13:15:36 +02:00
Tom Hvitved	433756debb	Rust: Make SummarizedCallable extend Function instead of string	2025-06-17 14:12:38 +02:00
Paolo Tranquilli	55096a31f2	Rust: add Cargo.lock files to all tests with cargo check	2025-06-16 10:52:53 +02:00
Paolo Tranquilli	97c2dfe23f	Rust: fix tests	2025-06-11 17:32:43 +02:00
Paolo Tranquilli	051704e59d	Merge branch 'main' into redsun82/rust-mad	2025-06-11 16:39:10 +02:00
Tom Hvitved	c6efc05de1	Rust: Reimplement type inference for impl Traits and await expressions	2025-06-10 12:39:20 +02:00
Paolo Tranquilli	5f474a7185	Rust: Use QL computed canonical paths in MaD Field tokens ... Also regenerate all auto-generated models with latest extractor.	2025-06-04 09:43:45 +02:00
Arthur Baars	a4788fd816	Rust: update expected output	2025-05-22 13:36:38 +02:00
Tom Hvitved	73fa381dbc	Rust: Remove visibility check in path resolution	2025-05-01 17:14:49 +02:00
Simon Friis Vindum	b0c40111e7	Rust: Tweaks to stringification	2025-04-03 12:45:08 +02:00
Arthur Baars	bf76505880	Rust: address comments	2025-03-26 13:28:44 +01:00
Arthur Baars	b10a296a93	Rust: add more path-injection sinks	2025-03-20 16:30:47 +01:00
Arthur Baars	2804c13027	Rust: use optionalBarrier	2025-03-20 11:37:05 +01:00
Arthur Baars	5a91b94395	Refactor using OptionalStep	2025-03-20 11:37:04 +01:00
Arthur Baars	f08d1d10f1	Rust: tainted path implement basic sanitizers	2025-03-18 19:16:13 +01:00
Arthur Baars	0fd69eaa43	Add QL test	2025-03-18 19:13:30 +01:00