crates.io/z3: unknown
Memory corruption bug on `ApplyResult` type
Action: Upgrade z3 to 0.21.0 or later.
cargo update -p z3 --precise 0.21.0Affected
| introduced | fixed | last affected |
|---|---|---|
| 0.0.0-0 | 0.21.0 | - |
Fixed versions
| 0.21.0 |
Sources
- osv: RUSTSEC-2026-0295
- https://crates.io/crates/z3
- https://rustsec.org/advisories/RUSTSEC-2026-0295.html
- https://github.com/prove-rs/z3.rs/pull/578
published · modified · JSON