Lucene search
Veracode Vulnerability DatabaseVERACODE:42929HistoryAug 24, 2023 - 3:54 a.m.
Use After Free
2023-08-2403:54:22
Veracode Vulnerability Database
sca.analysiscenter.veracode.com
11
libz3.so
use after free
vulnerability
pdd_simplifier.cpp
unexpected memory access
code execution
CVSS3
7.8
Attack Vector
LOCAL
Attack Complexity
LOW
Privileges Required
NONE
User Interaction
REQUIRED
Scope
UNCHANGED
Confidentiality Impact
HIGH
Integrity Impact
HIGH
Availability Impact
HIGH
CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H
EPSS
0.001
Percentile
34.7%
libz3.so is vulnerable to Use After Free. The vulnerability exists in the pdd_simplifier.cpp when the solver attempts to simplify the constraints, which causes unexpected memory access, leading to segmentation faults or arbitrary code execution.
Related
cve
cve
CVE-2020-19725
2023-08-22 19:16:04
ubuntucve
ubuntucve
CVE-2020-19725
2023-08-22 00:00:00
prion
prion
Design/Logic Flaw
2023-08-22 19:16:00
osv
osv
CVE-2020-19725
2023-08-22 19:16:04
cvelist
cvelist
CVE-2020-19725
2023-08-22 00:00:00
nvd
nvd
CVE-2020-19725
2023-08-22 19:16:04
CVSS3
7.8
Attack Vector
LOCAL
Attack Complexity
LOW
Privileges Required
NONE
User Interaction
REQUIRED
Scope
UNCHANGED
Confidentiality Impact
HIGH
Integrity Impact
HIGH
Availability Impact
HIGH
CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H
EPSS
0.001
Percentile
34.7%
Related for VERACODE:42929