RUSTSEC-2026-0295None▾ SunlitMemory corruption bug on `ApplyResult` type
▾ Sunlit zone — Low / medium · no exploitation signal
impact 2.8 · likelihood 0 · exploitation 0
Need a working PoC? Pro members can cast a request and our team develops one — it lands right here.
Disclosure to exploitation, from the record and what we observed since indexing it.
Disclosed via OSV
Last analysed / modified upstream
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.
z3 >= 0.0.0-0, < 0.21.0Upgrade to a patched release:
z3 0.21.0