CVE-2020-19725

CVE-2020-19725 affects Z3 up to version 4.8.8, rooted in a use-after-free in pdd_simplifier.cpp during constraint simplification. This can cause segmentation faults or arbitrary code execution. Mitigation: upgrade to Z3 4.8.8+ (recommended fixes vary by distro; some advisories cite 4.9.1+). Explo...