AZL-37067
Dashboard / Vulnerabilities / AZL-37067
Summary: CVE-2020-19725 affecting package z3 for versions less than 4.13.3-1
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://nvd.nist.gov/vuln/detail/CVE-2020-19725
Affected packages
Package
Name: z3
Purl: pkg:rpm/azure-linux/z3
Affected ranges
Type: ECOSYSTEM
Events:
Introduced- 0
Fixed -4.13.3-1
Affected versions
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
