Linux Distros Unpatched Vulnerability : CVE-2020-19725

The Linux/Unix host has one or more packages installed that are impacted by a vulnerability without a vendor supplied patch available. - There is a use-after-free vulnerability in file pddsimplifier.cpp in Z3 before 4.8.8. It occurs when the solver attempt to simplify the constraints and causes...

AZL-37067 CVE-2020-19725 affecting package z3 for versions less than 4.13.3-1

There is a use-after-free vulnerability in file pddsimplifier.cpp in Z3 before 4.8.8. It occurs when the solver attempt to simplify the constraints and causes unexpected memory access. It can cause segmentation faults or arbitrary code execution...

CVE-2020-19725

There is a use-after-free vulnerability in file pddsimplifier.cpp in Z3 before 4.8.8. It occurs when the solver attempt to simplify the constraints and causes unexpected memory access. It can cause segmentation faults or arbitrary code execution...

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...