554 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	b5b8af3aa2	Rust: Add data flow tests for borrows	2024-12-18 13:00:38 +01:00
Tom Hvitved	3a63dbcd5d	Apply suggestions from code review ... Co-authored-by: Simon Friis Vindum <paldepind@github.com>	2024-12-18 12:46:11 +01:00
Simon Friis Vindum	049fab4c72	Rust: Remove taint steps	2024-12-18 11:22:56 +01:00
Tom Hvitved	025a67384f	Rust: Add data flow tests for operator overloading	2024-12-18 09:26:17 +01:00
Simon Friis Vindum	c1e21974c6	Rust: Address review comments	2024-12-17 17:24:42 +01:00
Simon Friis Vindum	d8c301a96b	Merge branch 'main' into rust-data-flow-models	2024-12-17 16:09:59 +01:00
Simon Friis Vindum	ee87d4c948	Merge branch 'main' into rust-data-flow-models	2024-12-17 13:12:32 +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
Tom Hvitved	5ed03e266a	Rust: Fix semantic merge conflicts	2024-12-16 14:47:13 +01:00
Michael Nebel	aaf0cd5dee	Merge pull request #17968 from michaelnebel/java/movetestutils ... Move test utilities to the query pack.	2024-12-16 13:41:30 +01:00
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