66 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	322ef4d985	Rust: Account for trait visibility when resolving paths and methods	2025-09-02 09:01:17 +02:00
Paolo Tranquilli	ce48202b6a	Merge branch 'main' into redsun82/cargo-upgrade-2	2025-08-19 12:25:49 +02:00
Paolo Tranquilli	0924d795b4	Rust: accept test changes	2025-08-15 10:12:12 +02:00
Tom Hvitved	a07e357e67	Rust: Distinguish internal/external items in path resolution	2025-08-14 20:42:47 +02:00
Geoffrey White	1965fdb158	Rust: Update consistency .expected.	2025-08-07 18:41:47 +01:00
Geoffrey White	eab7481b97	Rust: Accept CWE-312 consistency check failures.	2025-08-04 18:26:09 +01:00
Geoffrey White	a86479eba9	Rust: Accept consistency check failures.	2025-08-04 16:26:41 +01:00
Geoffrey White	e368ee4b1b	Rust: Accept that sql-injection sinks are sinks for this query, and that the existing sinks created for this query are also new sql-injection sinks.	2025-08-04 15:23:04 +01:00
Geoffrey White	989b48d576	Rust: Add tests for rusqlite.	2025-08-04 15:00:06 +01:00
Geoffrey White	42ced8aa3d	Rust: Add examples to tests.	2025-07-30 17:51:32 +01:00
Geoffrey White	b6e60e4087	Rust: Address small bugs in the test.	2025-07-30 17:51:31 +01:00
Geoffrey White	215fe7d0b3	Rust: Clean up the alert message.	2025-07-30 17:51:30 +01:00
Geoffrey White	a3110a9091	Rust: Implement query.	2025-07-29 18:19:52 +01:00
Geoffrey White	5c64d4e9b7	Rust: Query framework.	2025-07-28 16:59:01 +01:00
Geoffrey White	897822dff5	Rust: The Cargo.lock file has changed as well.	2025-07-28 16:55:43 +01:00
Geoffrey White	9972aaf6a1	Rust: Add tests cases for cleartext storage.	2025-07-28 16:12:34 +01:00
Geoffrey White	478f39a967	Rust: Accept (trivial) test changes.	2025-07-25 14:18:34 +01:00
Geoffrey White	e20ae48699	Merge branch 'main' into models3b	2025-07-11 17:37:52 +01:00
Tom Hvitved	1d7d45e16b	Rust: Update expected test output	2025-07-10 19:40:39 +02:00
Geoffrey White	75078346c0	Rust: Accept .expected changes (mostly renumberings).	2025-07-10 17:05:12 +01:00
Geoffrey White	831509539b	Merge pull request #19934 from geoffw0/models0 ... Rust: Update legacy MaD models 1	2025-07-03 14:24:21 +01:00
Tom Hvitved	e88d7baa7d	Rust: Apply inherent method prioritization inside type inference loop	2025-07-01 10:17:26 +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	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
Tom Hvitved	66c0ff61bb	Rust: Model String -> str implicit conversion in type inference	2025-06-13 11:32:23 +02:00
Paolo Tranquilli	051704e59d	Merge branch 'main' into redsun82/rust-mad	2025-06-11 16:39:10 +02:00
Paolo Tranquilli	0d036992e0	Merge branch 'main' into redsun82/mad	2025-06-10 13:39:10 +02:00
Paolo Tranquilli	6162cf5dbb	Rust: accept test changes	2025-06-05 10:52:59 +02:00
Tom Hvitved	721ffb11cf	Rust: Path resolution for extern crates	2025-06-04 21:14:22 +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
Geoffrey White	9ac24c7f4f	Merge branch 'main' into moresensitive	2025-05-22 16:11:12 +01:00
Geoffrey White	e96e39c3d3	Rust: Model log_err.	2025-05-20 17:51:15 +01:00
Geoffrey White	e5af459787	Rust: Correct what we're testing here.	2025-05-20 17:30:49 +01:00
Geoffrey White	355e440fdf	Rust: Make the new test cases work.	2025-05-20 15:25:14 +01:00
Geoffrey White	3b40a5875a	Rust: Add test cases (generated by LLM).	2025-05-20 15:21:32 +01:00
Geoffrey White	f04d6fd8c8	Rust: Accept minor test changes for the cleartext logging query.	2025-05-12 17:45:00 +01:00
Geoffrey White	d02d5c5baf	Rust: Update cleartext logging test with new found results.	2025-05-09 14:33:26 +01:00
Geoffrey White	9da6d9435e	Rust: More tests affected.	2025-04-16 17:41:27 +01:00
Paolo Tranquilli	9dd1062a9c	Rust: remove fixed inconsistency	2025-04-11 17:25:56 +02:00
Simon Friis Vindum	b0c40111e7	Rust: Tweaks to stringification	2025-04-03 12:45:08 +02:00
Arthur Baars	7fc7b7cc04	Rust: fix CleartextLogging query	2025-03-27 18:38:57 +00:00
Arthur Baars	6dff6826f0	Revert "Rust: accept test changes for now" ... This reverts commit bf32acc198.	2025-03-27 18:33:00 +00:00
Paolo Tranquilli	bf32acc198	Rust: accept test changes for now	2025-03-24 13:43:27 +01:00
Simon Friis Vindum	476fef49da	Rust: Allow SSA and some data flow for mutable borrows	2025-02-26 16:00:52 +01:00
Tom Hvitved	e9c25037d4	Rust: Use Field MaD token instead of Variant, Struct, Tuple	2025-02-13 13:32:08 +01:00
Asger F	fc1d36f867	Rust: update a Rust test case	2025-02-03 11:31:04 +01:00