48 Commits

Author	SHA1	Message	Date
Tom Hvitved	0b00589f95	Rust: Update expected test output	2025-12-12 11:16:17 +01:00
Tom Hvitved	5a5679bd51	Rust: Taint flow through operations using MaD	2025-12-05 09:19:03 +01:00
Tom Hvitved	6b003580d1	Rust: Improve handling of implicit derefs/borrows in data flow	2025-12-01 11:34:01 +01:00
Tom Hvitved	ee0467d74c	Rust: Update expected output	2025-10-21 18:44:37 +02:00
Geoffrey White	c30e9a96d4	Rust: Accept changes to other test expectations.	2025-10-16 11:00:29 +01:00
Paolo Tranquilli	122b7ebba8	Rust: accept test changes	2025-10-07 14:49:08 +02:00
Simon Friis Vindum	19871a2653	Rust: Accept test changes	2025-09-30 15:26:30 +02:00
Paolo Tranquilli	0924d795b4	Rust: accept test changes	2025-08-15 10:12:12 +02: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	91072477b7	Rust: Trivial test changes.	2025-06-30 20:15:18 +01: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	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	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
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
Geoffrey White	919e7978cd	Rust: Add PrettyPrintModels.ql to the test. I gather this stabilized the output MaD IDs.	2025-01-28 16:23:20 +00:00
Geoffrey White	f2564c351f	Rust: Changes to other tests - mostly MaD IDs :(.	2025-01-28 09:22:30 +00:00
Geoffrey White	494d8f2da0	Rust: Update MaD IDs for an unrelated test. :(	2025-01-27 22:22:41 +00:00
Geoffrey White	117db8a9b2	Rust: Make the test runnable.	2025-01-24 17:22:42 +00:00
Geoffrey White	037d496a68	Rust: Fix some more tests (MaD ID changes and extraction consistency issues).	2025-01-23 19:14:28 +00:00
Geoffrey White	4214c837b8	Rust: Clean up the query message.	2025-01-23 18:03:25 +00:00
Geoffrey White	59c3ac6f80	Rust: Allow flow through reference taking (&).	2025-01-23 17:17:07 +00:00
Geoffrey White	78c58aa5f1	Rust: Allow implicit taint reads from tuple contents at sinks.	2025-01-23 17:17:05 +00:00
Geoffrey White	64444940a6	Rust: Add taint sinks for target and key-value arguments.	2025-01-23 17:17:04 +00:00
Geoffrey White	2bbf493991	Rust: Model assert_failed.	2025-01-23 17:17:03 +00:00
Geoffrey White	484331c303	Rust: Model StdoutLock, StderrLock methods and String.as_bytes.	2025-01-23 17:17:02 +00:00
Geoffrey White	1d2950c70c	Rust: Add some sinks.	2025-01-23 17:17:00 +00:00
Geoffrey White	4297d05c05	Rust: Implement the query.	2025-01-23 17:16:59 +00:00
Geoffrey White	bb3be2f8af	Rust: Add a test for the log crate + placeholder query.	2025-01-23 12:24:47 +00:00