83 Commits

Author	SHA1	Message	Date
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
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	0a3d44c44e	Rust: Re-apply suggested changes (I accidentally force-pushed them away).	2025-01-24 17:31:38 +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	173cfd5c7b	Rust: Add test cases for various std:: bits.	2025-01-23 17:16:58 +00:00
Geoffrey White	bb3be2f8af	Rust: Add a test for the log crate + placeholder query.	2025-01-23 12:24:47 +00:00