UBUNTU-CVE-2020-19725
Dashboard / Vulnerabilities / UBUNTU-CVE-2020-19725
Summary:
Details: There 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 and causes unexpected memory access. It can cause segmentation faults or arbitrary code execution.
References: https://ubuntu.com/security/CVE-2020-19725, https://github.com/Z3Prover/z3/issues/3363, https://www.cve.org/CVERecord?id=CVE-2020-19725
Affected packages
Package
Name: z3
Purl: pkg:deb/ubuntu/z3?arch=source&distro=xenial
Affected ranges
Type: ECOSYSTEM
Events:
Introduced- 0
Fixed -None
Affected versions
4.4.0-2
4.4.0-3
4.4.0-3build1
4.4.0-5
Common Vulnerability Scoring System
Attack Vector
Network
Adjacent
Local
Physical
Privileges Required
None
Low
High
User Interaction
None
Required
Scope
Unchanged
Changed
Confidentiality
None
Low
High
Integrity
None
Low
High
Availability
None
Low
High
