Skip to content
OpenAdvisories

Package · Ubuntu

z3

1 known vulnerabilities.

All Critical High Medium Low Exploited only Public exploit

1 result · Feed

  • Unscored —
    CVE-2020-19725

    There is a use-after-free vulnerability in file pdd_simplifier.cpp in Z3 before 4.8.8. It occurs when the solver attemp…

    z3 Ubuntu