RUSTSEC-2026-0295

See a problem?
Please try reporting it to the source first.

Source

https://rustsec.org/advisories/RUSTSEC-2026-0295

Import Source

https://github.com/rustsec/advisory-db/blob/osv/crates/RUSTSEC-2026-0295.json

JSON Data

https://api.osv.dev/v1/vulns/RUSTSEC-2026-0295

Published

2026-08-12T12:00:00Z

Modified

2026-09-21T10:15:04Z

Summary

Memory corruption bug on `ApplyResult` type

Details

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.

Database specific

{
    "license":  "CC0-1.0"
}

References

Affected packages

crates.io / z3

Package

Name: z3; View open source insights on deps.dev
Purl: pkg:cargo/z3

Affected ranges

Type: SEMVER
Events: Introduced

0.0.0-0

Fixed

0.21.0

Ecosystem specific

{
    "affected_functions":  null,
    "affects":  {
        "arch":  [],
        "functions":  [],
        "os":  []
    }
}