{"action":"Upgrade z3 to 0.21.0 or later.","affected":[{"fixed":"0.21.0","introduced":"0.0.0-0"}],"component":"z3","cve_ids":[],"ecosystem":"crates.io","exploited":false,"fixed_versions":["0.21.0"],"id":"tcs_01M5KFC8ERZS9DMH6DH4C8AVCP","modified_at":"2026-09-21T10:15:04.329850030Z","published_at":"2026-08-12T12:00:00Z","references":["https://osv.dev/vulnerability/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"],"severity":{"label":"unknown"},"sources":[{"source":"osv","source_id":"RUSTSEC-2026-0295","url":"https://osv.dev/vulnerability/RUSTSEC-2026-0295"}],"summary":"Memory corruption bug on `ApplyResult` type"}