9 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	7476aeaabf	Rust: Handle ref patterns in data flow ... To do this we: * Let SSA writes target the name inside identifier patterns instead of the pattern itself * Include relevant names in the data flow graph * Add a store step from a identifier patterns with `ref` into the contained name. So we have an edge `ref a` -> `a` that stores in the reference content type.	2025-02-12 13:20:11 +01:00
Tom Hvitved	8eb5792f3b	Address review comments	2025-01-31 10:10:55 +01:00
Tom Hvitved	1bbb3fde96	Rust: Take nested functions into account when resolving variables	2025-01-15 09:44:53 +01:00
Tom Hvitved	33e6d6392c	Rust: Avoid location-based variable analysis	2025-01-13 11:08:00 +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
Tom Hvitved	5afd2d5bf0	Rust: Account for captured variables	2024-10-09 10:17:01 +02:00
Tom Hvitved	05f85497ed	Rust: Add &mut variable tests	2024-10-03 19:55:07 +02:00
Tom Hvitved	fb9ec2423c	Rust: Implement UnusedVariable.ql	2024-10-02 11:22:32 +02:00
Tom Hvitved	b0efffd8f0	Rust: AST support for variables	2024-10-01 10:10:08 +02:00