Geoffrey White 03fc4cb0aa Merge remote-tracking branch 'upstream/main' into access-invalid-pointer-fp

2025-11-21 17:39:56 +00:00

..

CONSISTENCY

Rust: Accept consistency check changes.

2025-11-21 17:35:34 +00:00

AccessAfterLifetime.expected

Merge remote-tracking branch 'upstream/main' into access-invalid-pointer-fp

2025-11-21 17:39:56 +00:00

AccessAfterLifetime.qlref

Rust: Placeholder new query.

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

AccessInvalidPointer.expected

Rust: Add barrier for null pointer checks to the query.

2025-11-17 15:00:22 +00: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: Add barrier for null pointer checks to the query.

2025-11-17 15:00:22 +00:00

lifetime.rs

Rust: Handle chained let expressions

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

main.rs

Rust: Add test cases for rust/access-invalid-pointer based on real world FPs.

2025-11-13 16:07:22 +00:00

options.yml

Merge branch 'main' into lifetime

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