Categories ⋅ Keywords ⋅ Packages Advisories for package 'z3' September 21, 2026 RUSTSEC-2026-0295: Vulnerability in z3 Memory corruption bug on ApplyResult type