893 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	defbbb2a24	Rust: Add additional models for stdlib and sqlx	2024-12-16 11:46:57 +01:00
Simon Friis Vindum	aab3428bc7	Rust: Model address-of and dereference as stores and loads	2024-12-16 11:31:15 +01:00
Simon Friis Vindum	df0375103c	Rust: Add data flow tests	2024-12-16 11:09:22 +01:00
Simon Friis Vindum	9da5d7128b	Rust: Add test with data flow inconsistency	2024-12-16 09:40:13 +01:00
Simon Friis Vindum	1d8e7fd9ea	Rust: Accept differences	2024-12-12 16:47:51 +01:00
Simon Friis Vindum	0fa40fcdcc	Rust: Fix captured variable data flow inconsistency	2024-12-12 16:28:19 +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
Simon Friis Vindum	16dcc5c278	Rust: Add variable capture consistency query	2024-12-12 11:23:22 +01:00
Simon Friis Vindum	94b037fad1	Rust: Instantiate variable capture library for data flow	2024-12-11 15:44:17 +01:00
Simon Friis Vindum	e8357a648d	Rust: Add additional data flow tests	2024-12-11 14:56:16 +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	9b34615a64	Rust: Update test assertions to match results	2024-12-06 19:05:53 +01:00
Simon Friis Vindum	ed68423d6e	Rust: Handle captured self parameter in variable implementation	2024-12-06 14:12:27 +01:00
Simon Friis Vindum	43dd3ebf14	Rust: Add variables test with captured self parameter	2024-12-06 14:07:42 +01:00
Paolo Tranquilli	b59b90ba6d	Rust: accept test changes	2024-12-06 09:12:16 +01:00
Tom Hvitved	1c56692c02	Rust: update inline expectations	2024-12-05 14:43:39 +01:00
Simon Friis Vindum	1f4e7d1f37	Rust: Handle arrays in taint tracking	2024-12-05 11:41:32 +01:00
Simon Friis Vindum	44239cbf2e	Rust: Add taint tests for arrays	2024-12-05 11:39:05 +01:00
Simon Friis Vindum	27de43fed8	Merge branch 'main' into rust-df-array	2024-12-05 11:08:54 +01:00
Simon Friis Vindum	5b6ce3e0d0	Merge branch 'main' into rust-taint	2024-12-05 09:34:25 +01:00
Paolo Tranquilli	08de0b40ed	Merge branch 'main' into redsun82/rust-less-canonical-paths	2024-12-04 14:35:10 +01:00
Simon Friis Vindum	3004639fca	Rust: Add default taint flow steps	2024-12-04 14:11:05 +01:00
Simon Friis Vindum	a19f1d0b8b	Rust: Remove store step for repeat operand in array expression	2024-12-04 14:01:53 +01:00
Simon Friis Vindum	c62b7d139f	Merge branch 'main' into rust-df-array	2024-12-04 13:55:26 +01:00
Simon Friis Vindum	70a296be89	Rust: Add string slice taint flow test	2024-12-04 13:24:15 +01:00
Simon Friis Vindum	f10ffa39e4	Rust: Add tests for taint flow	2024-12-04 12:54:36 +01:00
Simon Friis Vindum	b7792d690c	Merge pull request #18163 from paldepind/rust-df-try-expr ... Rust: Add flow through `?` operator	2024-12-04 12:45:32 +01:00
Jeroen Ketema	10592bb1c4	Merge pull request #18192 from jketema/inline-rm ... Remove deprecated `InlineExpectationsTest` class-based API	2024-12-04 11:34:39 +01:00
Simon Friis Vindum	ed6f873478	Merge branch 'main' into rust-df-try-expr	2024-12-04 11:33:41 +01:00
Paolo Tranquilli	7e107a4520	Merge branch 'main' into redsun82/rust-less-canonical-paths	2024-12-04 11:24:48 +01:00
Paolo Tranquilli	c0676f4269	Merge pull request #18198 from github/redsun82/rust-tuple-struct-pat-to-string ... Rust: improve `TupleStructPat.toString`	2024-12-04 11:20:42 +01:00
Paolo Tranquilli	b6f0ae0460	Rust: accept test changes	2024-12-04 11:05:01 +01:00
Simon Friis Vindum	7092f13584	Merge branch 'main' into rust-df-try-expr	2024-12-04 10:59:07 +01:00
Paolo Tranquilli	66e4acf53e	Rust: accept test changes	2024-12-04 10:56:14 +01:00
Simon Friis Vindum	bb015cf56d	Merge branch 'main' into rust-df-closure	2024-12-04 09:25:18 +01:00
Jeroen Ketema	e89f37df1a	Rust: Update expected test results	2024-12-03 19:18:52 +01:00
Simon Friis Vindum	70c60868a6	Rust: Model ? as reading from Option and Result	2024-12-03 17:01:34 +01:00
Paolo Tranquilli	8a1136ddcb	Merge branch 'main' into redsun82/rust-less-canonical-paths	2024-12-03 16:23:22 +01:00
Simon Friis Vindum	b50834aee8	Rust: Add data flow tests for question mark operator	2024-12-03 16:21:26 +01:00
Simon Friis Vindum	cac4514eae	Rust: Add basic data flow through arrays	2024-12-03 14:15:54 +01:00
Simon Friis Vindum	3346b64e96	Rust: Add variables and data flow array tests	2024-12-03 14:14:41 +01:00
Paolo Tranquilli	ebe38bca23	Merge branch 'main' into redsun82/rust-less-canonical-paths	2024-12-03 12:19:08 +01:00
Tom Hvitved	3c767b086b	Rust: Use canonical paths for variants in data flow	2024-12-03 10:19:33 +01:00
Simon Friis Vindum	e377a0e05a	Merge branch 'main' into rust-df-closure	2024-12-03 10:09:52 +01:00
Tom Hvitved	3e5f4b7f89	Rust: Add a model for unwrap	2024-12-03 09:12:01 +01:00
Tom Hvitved	395901b8e0	Rust: Adopt shared flow summaries library	2024-12-03 09:11:06 +01:00
Simon Friis Vindum	e1c65aae90	Rust: Tuple writes target post update node	2024-12-02 14:48:20 +01:00
Simon Friis Vindum	3420f1f43f	Address review comments, store step for tuple indexing	2024-12-02 13:27:26 +01:00
Paolo Tranquilli	bb83641634	Rust: accept all test changes for now	2024-12-02 08:22:51 +01:00