PT-2026-96197 · Crates.Io · Z3

Published

2026-08-12

·

Updated

2026-08-12

None

No severity ratings or metrics are available. When they are, we'll update the corresponding info on the page.
The ApplyResult type contains a raw pointer to a C++ memory object and has a derived Clone implementation which creates a reference to this object without incrementing the associated reference counter.
As a result, if an instance of ApplyResult is duplicated through Clone and both instances are dropped a use-after-free can occur.
Found an issue in the description? Have something to add? Feel free to write us 👾

Related Identifiers

RUSTSEC-2026-0295

Affected Products

Z3