CVE-2020-19725 Blast Radius

HIGH • CVSS 7.8There is a use-after-free vulnerability in file pdd_simplifier.cpp in Z3 before 4.8.8. It occurs when the solver attempt to simplify the constraints a…

Is Your Infrastructure Using These Packages?

EchelonGraph automatically scans your cloud infrastructure and SBOMs to map your exposure to vulnerabilities like CVE-2020-19725.

Start Free Scan →← Back to CVE-2020-19725