35 Commits

Author	SHA1	Message	Date
Tom Hvitved	072339137a	Rust: Update expected test output	2025-07-01 10:34:16 +02:00
Tom Hvitved	8c240399c1	Rust: Apply MaD trait models to implementations	2025-06-25 21:32:24 +02:00
Tom Hvitved	3e54c61f52	Rust: Add MaD trait tests	2025-06-25 21:32:22 +02:00
Tom Hvitved	c88a5049e0	Rust: Fix column orders in interpretModelForTest	2025-06-18 13:15:36 +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
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	455490436c	Rust: fix dataflow models test expectation	2025-06-12 12:16:37 +02:00
Paolo Tranquilli	3c834de5be	Rust: fix dataflow models test	2025-06-12 11:04:30 +02:00
Paolo Tranquilli	97c2dfe23f	Rust: fix tests	2025-06-11 17:32:43 +02:00
Paolo Tranquilli	bea5381420	Rust: replace last hand-written instances of Field[crate::	2025-06-11 16:48:39 +02:00
Tom Hvitved	d6d3028e5a	Rust: Support Argument[x] MaD source definitions	2025-03-25 09:08:40 +01:00
Tom Hvitved	cf1b19f7c4	Rust: Add test for MaD argument source	2025-03-25 09:06:56 +01:00
Tom Hvitved	e8505ad33d	Rust: Use type inference to resolve method calls and field accesses	2025-03-13 13:23:13 +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	efb5b9b27c	Rust: Add a comment to clearify test	2025-02-11 13:15:32 +01:00
Simon Friis Vindum	6e99087b40	Rust: Basic support for futures and await	2025-02-05 13:22:57 +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	b0a3cdc68c	Rust: Generate flow summaries for higher-order functions	2025-02-04 14:03:19 +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
Simon Friis Vindum	66b6ae70c2	Rust: Change array element content type into a general collection ... element type	2025-01-23 09:49:23 +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	ddd05b5d1b	Rust: Never skip match scrutinee/patterns in data flow	2024-12-16 15:12:16 +01:00
Tom Hvitved	9f2b436d35	Rust: Never skip assignment LHS in data flow	2024-12-16 15:12:15 +01:00
Michael Nebel	864c34fc03	Rust: Update all test util paths to point to the new location.	2024-12-12 15:02:59 +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
Simon Friis Vindum	3004639fca	Rust: Add default taint flow steps	2024-12-04 14:11:05 +01:00
Simon Friis Vindum	f10ffa39e4	Rust: Add tests for taint flow	2024-12-04 12:54:36 +01:00
Paolo Tranquilli	b6f0ae0460	Rust: accept test changes	2024-12-04 11:05:01 +01:00
Tom Hvitved	3c767b086b	Rust: Use canonical paths for variants in data flow	2024-12-03 10:19:33 +01:00
Tom Hvitved	395901b8e0	Rust: Adopt shared flow summaries library	2024-12-03 09:11:06 +01:00