Simon Friis Vindum 7f344fab78 Rust: Add data flow consistency queries

2024-11-04 10:17:50 +01:00

..

CONSISTENCY

Rust: Add data flow consistency queries

2024-11-04 10:17:50 +01:00

Cfg.expected

Merge branch 'main' into rust-saa-additions

2024-10-21 13:30:02 +02:00

Cfg.qlref

Rust: Output CFG for library-tests/variables

2024-10-02 15:45:14 +02:00

Ssa.expected

Rust: Handle calls that might read/write variables through closures

2024-10-25 10:50:32 +02:00

Ssa.ql

Rust: Initial SSA implementation

2024-10-11 19:39:28 +02:00

variables.expected

Rust: Add variable tests involving borrowing and capture

2024-10-16 13:05:53 +02:00

variables.ql

Rust: Account for captured variables

2024-10-09 10:17:01 +02:00

variables.rs

Rust: Add variable tests involving borrowing and capture

2024-10-16 13:05:53 +02:00