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
Affected Products
Z3