608 Commits

Author	SHA1	Message	Date
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
Paolo Tranquilli	c46f44da5f	Rust: fix QL compilation errors	2024-11-29 15:55:51 +01:00
Simon Friis Vindum	b8d60cbb13	Rust: Implement predicates for lambdas/closures in the data flow library	2024-11-29 09:32:04 +01:00
Simon Friis Vindum	ad7480591b	Rust: Add data flow tests involving closures	2024-11-29 09:30:26 +01:00
Simon Friis Vindum	d89678f49f	Rust: Data flow through tuple and struct fields	2024-11-27 14:53:01 +01:00
Simon Friis Vindum	9ec9d79b4f	Rust: Add additional tests for flow through structs	2024-11-27 10:10:49 +01:00
Simon Friis Vindum	46abb9083b	Merge pull request #18115 from paldepind/rust-rename-expr ... Rust: Rename `expr` on `CallExpr` and `LetExpr`	2024-11-27 09:41:04 +01:00
Simon Friis Vindum	8f886c6603	Merge pull request #18088 from paldepind/rust-self-parameters ... Rust: Handle `self` parameters in variables and SSA library	2024-11-27 08:42:58 +01:00
Simon Friis Vindum	92427ab0c1	Merge branch 'main' into rust-rename-expr	2024-11-26 17:40:47 +01:00
Simon Friis Vindum	d30f3e2822	Rust: Renamed expr on CallExpr and LetExpr	2024-11-26 15:22:14 +01:00
Tom Hvitved	0c6b4cdb8f	Merge pull request #18078 from hvitved/rust/variant-flow ... Rust: Data flow through variants	2024-11-26 14:45:00 +01:00
Simon Friis Vindum	44b1ad52d9	Rust: Support self parameters in variable and SSA library	2024-11-26 09:02:13 +01:00
Tom Hvitved	5e7cd46117	Rust: Flow through variants	2024-11-25 19:17:57 +01:00
Tom Hvitved	2fb670a27c	Rust: Do not print unit type in data flow	2024-11-25 19:14:44 +01:00
Tom Hvitved	511f791511	Rust: Add more flow tests	2024-11-25 19:14:42 +01:00
Simon Friis Vindum	d06b5833cf	Rust: Add an additional variables test with a self parameter	2024-11-25 16:08:26 +01:00
Geoffrey White	bded7085f0	Rust: Effect of toString changes in main.	2024-11-25 10:01:57 +00:00
Geoffrey White	d38f0eec7b	Merge branch 'main' into sourcemodels	2024-11-25 09:59:08 +00:00
Geoffrey White	f2f577f86c	Rust: Fix toString().	2024-11-22 17:09:52 +00:00
Paolo Tranquilli	e7c10c6325	Merge branch 'main' into redsun82/rust-str	2024-11-22 14:44:48 +01:00
Paolo Tranquilli	28d517da59	Rust: fix regression in getFormat indexing	2024-11-22 14:13:15 +01:00
Paolo Tranquilli	626b1cef17	Merge pull request #18071 from github/redsun82/rust-format-parent-child ... Rust: fix parent/child relationship for format entities	2024-11-22 14:03:53 +01:00
Paolo Tranquilli	2e90c80a6f	Rust: accept test changes	2024-11-22 13:45:00 +01:00
Geoffrey White	ed67dae850	Rust: Make ql-for-ql happy.	2024-11-22 11:33:35 +00:00
Simon Friis Vindum	e81c3483db	Rust: Apply suggestions from PR comments	2024-11-22 10:19:13 +01:00
Geoffrey White	292b29b0e3	Rust: Fix following rebase on main.	2024-11-22 09:13:48 +00:00
Geoffrey White	176e9a425f	Rust: Model reqwest.	2024-11-22 09:13:47 +00:00
Geoffrey White	e64f139c98	Rust: Model std::env.	2024-11-22 09:13:44 +00:00
Geoffrey White	be40085982	Rust: Add a test of flow sources reaching sinks as well.	2024-11-22 09:13:42 +00:00
Geoffrey White	a85ad4ec29	Rust: Add a dataflow/sources test.	2024-11-22 09:13:41 +00:00
Paolo Tranquilli	a82d267223	Rust: accept test changes	2024-11-21 16:03:56 +01:00
Simon Friis Vindum	fffeac6a13	Rust: Extend data flow library instantiation for global data flow	2024-11-21 15:11:25 +01:00
Simon Friis Vindum	bb70bfce43	Rust: Tweak global data flow test and add inline flow test	2024-11-21 15:03:58 +01:00
Paolo Tranquilli	c2b426df76	Rust: accept test changes	2024-11-21 12:54:13 +01:00
Paolo Tranquilli	6a6154913b	Merge branch 'main' into redsun82/rust-str	2024-11-21 11:50:38 +01:00
Tom Hvitved	e6887f982e	Rust: Use nodes from CfgNodes.qll in DataFlowImpl.qll	2024-11-21 10:21:13 +01:00