Tom Hvitved 6b003580d1 Rust: Improve handling of implicit derefs/borrows in data flow

2025-12-01 11:34:01 +01:00

..

Cargo.lock

Rust: add Cargo.lock files to all tests with cargo check

2025-06-16 10:52:53 +02:00

DataFlowStep.expected

Rust: Improve handling of implicit derefs/borrows in data flow

2025-12-01 11:34:01 +01:00

DataFlowStep.ql

Rust: Remove external locations in tests using post-processing

2025-06-04 13:07:43 +02:00

DataFlowStep.qlref

Rust: Remove external locations in tests using post-processing

2025-06-04 13:07:43 +02:00

inline-flow.expected

Rust: Improve handling of implicit derefs/borrows in data flow

2025-12-01 11:34:01 +01:00

inline-flow.ql

Rust: Use TaintFlow instead of ValueFlow in tests

2025-12-01 11:33:57 +01:00

main.rs

Rust: Combine and expand some of the models.

2025-10-15 20:31:43 +01:00

options.yml

Rust: Add tests for chained let expressions

2025-08-14 10:36:41 +02:00