442 Commits

Author	SHA1	Message	Date
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
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	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
Tom Hvitved	1c2fdc29a3	Rust: Add more local data flow tests	2024-11-21 10:21:09 +01:00
Paolo Tranquilli	fd45e11f4b	Rust: accept test changes	2024-11-20 16:49:20 +01:00
Paolo Tranquilli	b4af5a61d1	Rust: more advanced toString	2024-11-20 16:21:23 +01:00
Paolo Tranquilli	4d04c5af83	Rust: fix non-existent string representations	2024-11-20 12:08:51 +01:00
Paolo Tranquilli	57973df795	Rust: make CallExpr.toString use call identifier if present	2024-11-20 10:00:10 +01:00
Paolo Tranquilli	fce13aeb35	Rust: accept test changes	2024-11-19 17:50:14 +01:00
Simon Friis Vindum	2c9bee6208	Rust: Only add data flow edge to SSA write definitions from their underlying CFG node	2024-11-19 14:32:31 +01:00
Simon Friis Vindum	6ae979293c	Rust: Accept inconsistencies	2024-11-19 13:26:01 +01:00
Simon Friis Vindum	23bfa8a9bc	Rust: Add local data flow edge for SSA definitons	2024-11-19 12:19:47 +01:00
Simon Friis Vindum	bacc37d886	Rust: Add additional tests for intraprocedural data flow	2024-11-19 12:07:26 +01:00
Simon Friis Vindum	b3668f8183	Merge pull request #17971 from paldepind/rust-df-patterns ... Rust: Include patterns as data flow nodes	2024-11-19 11:12:12 +01:00
Simon Friis Vindum	58a1b004ab	Rust: Include method calls in DataFlowCall and implement simple call ... target resolution	2024-11-18 15:27:21 +01:00
Simon Friis Vindum	4e97a9554a	Rust: Add interprocedural tests	2024-11-18 15:21:15 +01:00
Simon Friis Vindum	1a198bfb3a	Merge branch 'main' into rust-df-patterns	2024-11-18 10:06:01 +01:00
Simon Friis Vindum	7cb9d07f59	Rust: Fix default source and sink in inline flow test	2024-11-15 11:59:48 +01:00
Simon Friis Vindum	d3f5b479f6	Merge branch 'main' into rust-df-patterns	2024-11-13 16:22:07 +01:00
Simon Friis Vindum	78edafc94c	Rust: Include patterns as data flow nodes	2024-11-12 18:43:06 +01:00
Simon Friis Vindum	cd2038a8f8	Rust: Setup inline flow test library	2024-11-11 16:41:59 +01:00
Simon Friis Vindum	6a3d417836	Rust: Implement enclosing callable for additional classes	2024-11-11 11:11:29 +01:00
Simon Friis Vindum	55796badaf	Rust: Mark SSA data flow nodes in output and hide them in paths	2024-11-11 08:48:48 +01:00
Simon Friis Vindum	dadc6059a8	Rust: Implement enclosing callable	2024-11-06 16:23:24 +01:00
Simon Friis Vindum	60986d8c9b	Rust: Fix unique type data flow inconsistency	2024-11-06 13:48:10 +01:00
Simon Friis Vindum	262a9f0cfa	Rust: Make fixes in data flow based on PR feedback	2024-11-05 15:37:44 +01:00
Simon Friis Vindum	d9636b37b6	Rust: Add data flow test with assignment to mutable variable	2024-11-04 20:00:36 +01:00
Simon Friis Vindum	6b25bea2e5	Rust: Accept consistency results	2024-11-04 11:28:26 +01:00
Simon Friis Vindum	a3c7d5a469	Merge branch 'main' into rust-data-flow-consistency	2024-11-04 11:10:48 +01:00
Simon Friis Vindum	7f344fab78	Rust: Add data flow consistency queries	2024-11-04 10:17:50 +01:00
Simon Friis Vindum	82076ee0b8	Rust: Propagate data flow through a few expression types	2024-11-03 16:12:59 +01:00
Simon Friis Vindum	2bab29d31b	Rust: Add local data flow step tests	2024-11-03 16:12:58 +01:00
Simon Friis Vindum	a36095d85b	Rust: Add local data flow test with if expression	2024-11-01 11:28:10 +01:00
Simon Friis Vindum	44bebedae6	Rust: Add basic skeleton setup for data flow	2024-10-30 13:16:26 +01:00