Tom Hvitved 8455663255 Rust: Speedup AccessAfterLifetime.ql

2025-11-15 15:21:03 +01:00

..

CONSISTENCY

Rust: Update expected output

2025-10-21 18:44:37 +02:00

AccessAfterLifetime.expected

Rust: Speedup AccessAfterLifetime.ql

2025-11-15 15:21:03 +01:00

AccessAfterLifetime.qlref

Rust: Placeholder new query.

2025-06-05 10:37:25 +01:00

AccessInvalidPointer.expected

Rust: Accept .expected changes (mostly renumberings).

2025-07-10 17:05:12 +01:00

AccessInvalidPointer.qlref

Rust: Initial version of the query.

2025-03-20 14:26:06 +00:00

Cargo.lock

Merge branch 'main' into lifetime

2025-06-23 17:06:06 +01:00

deallocation.rs

Rust: Update the libc models.

2025-07-08 08:44:44 +01:00

lifetime.rs

Rust: Handle chained let expressions

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

main.rs

Rust: Deref as taint step

2025-09-02 08:55:10 +02:00

options.yml

Merge branch 'main' into lifetime

2025-06-23 17:06:06 +01:00