21 Commits

Author	SHA1	Message	Date
Geoffrey White	08174d7ec9	Rust: Add test cases for summaries as well.	2026-02-06 18:05:54 +00:00
Geoffrey White	97f7dcb04a	Rust: Add dataflow test cases for neutral models.	2026-02-04 17:43:05 +00:00
Tom Hvitved	f23351afca	Rust: Refactor MaD provanance-based filtering	2025-12-19 19:35:41 +01:00
Simon Friis Vindum	63329b47d8	Merge pull request #21036 from paldepind/rust/prioritize-manual-summaries ... Rust: Don't apply generated models for functions that have a manual model	2025-12-16 12:47:27 +01:00
Simon Friis Vindum	d2cfd53933	Rust: Add test with wrong generated model	2025-12-15 14:23:48 +01:00
Tom Hvitved	fc49360e81	Rust: Add models for core::cmp::Ord::{min,max,clamp}	2025-12-15 11:52:05 +01:00
Simon Friis Vindum	cd807533f2	Rust: Add tests for parameter in source model	2025-09-22 14:13:37 +02:00
Tom Hvitved	3e54c61f52	Rust: Add MaD trait tests	2025-06-25 21:32:22 +02:00
Tom Hvitved	63379df004	Rust: Add new MaD format based on QL-computed canonical paths	2025-06-18 12:14:36 +02:00
Tom Hvitved	c35598a2ea	Rust: Add Deprecated suffix to existing MaD extensible predicates	2025-06-18 12:14:30 +02:00
Paolo Tranquilli	3c834de5be	Rust: fix dataflow models test	2025-06-12 11:04:30 +02:00
Paolo Tranquilli	bea5381420	Rust: replace last hand-written instances of Field[crate::	2025-06-11 16:48:39 +02:00
Tom Hvitved	cf1b19f7c4	Rust: Add test for MaD argument source	2025-03-25 09:06:56 +01:00
Tom Hvitved	e9c25037d4	Rust: Use Field MaD token instead of Variant, Struct, Tuple	2025-02-13 13:32:08 +01:00
Simon Friis Vindum	a40cfeb6c7	Rust: Add test for model returning a future	2025-02-05 12:35:56 +01:00
Simon Friis Vindum	c9e702d107	Rest: Add tests for higher-order functions	2025-02-04 13:44:29 +01:00
Simon Friis Vindum	9a6d651fee	Rust: More renaming and adjusting for generic element content type	2025-01-23 18:15:17 +01:00
Tom Hvitved	a7bb95249b	Rust: Implement known{Source,Sink}Model	2025-01-09 11:47:57 +01:00
Tom Hvitved	8f6ae6274d	Rust: Add support for MaD sources and sinks with access paths	2025-01-06 13:26:49 +01:00
Tom Hvitved	baf186fed7	Address review comments	2024-12-11 10:28:32 +01:00
Tom Hvitved	2f8b04b225	Rust: Models-as-data for flow summaries	2024-12-09 13:41:55 +01:00