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

..

inline-flow.expected

Rust: Handle ref patterns in data flow

2025-02-12 13:20:11 +01:00

inline-flow.ql

Rust: Address review comments

2024-12-17 17:24:42 +01:00

main.rs

Rust: Handle ref patterns in data flow

2025-02-12 13:20:11 +01:00