59 Commits

Author	SHA1	Message	Date
Tom Hvitved	511f791511	Rust: Add more flow tests	2024-11-25 19:14:42 +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
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	d9636b37b6	Rust: Add data flow test with assignment to mutable variable	2024-11-04 20:00:36 +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