z3 vulnerabilities (Ubuntu)

1 vulnerability.

• z3 Ubuntu There is a use-after-free vulnerability in file pdd_simplifier.cpp in Z3 before 4.8.8. It occurs... CVE-2020-19725 Fix available 7.8 HighAugust 22, 2023