RUSTSEC-2026-0295: z3

Package	Ecosystem	Affected	Fixed in
z3	crates.io	>=0.0.0-0, <0.21.0	0.21.0

Package

Ecosystem

Affected

Fixed in

crates.io

>=0.0.0-0, <0.21.0

0.21.0

Machine-written summary

Summary written by Claude Haiku from the source advisory. Not reviewed by a person.

The z3 crate, all versions before 0.21.0, has a memory corruption bug in its ApplyResult type. Its derived Clone implementation copies a raw pointer to a C++ object without increasing the reference count, so cloning and then dropping both copies can cause a use-after-free. The source does not describe what an attacker needs to trigger this. Upgrade to z3 version 0.21.0 or later.

Written 8 Nov 2026.

Not analysed yet

We haven’t published our analysis of this Advisory yet. Once a person has reviewed it, this page will say what’s vulnerable, what has to be true for your app to be affected, and how to check.

Severity and exploitation

No source has published a CVSS score for this record yet.

CISA KEV Not listed.
EPSS No score.

Timeline

31 Oct 2026, 15:17 UTC First seen by agentprime
31 Oct 2026, 15:17 UTC Confirmed by OSV

Sources

Facts on this page come from the GitHub Advisory Database (CC-BY 4.0), OSV and the other sources listed, as published. We don’t reproduce full advisory descriptions, which can contain exploit code.