Security Advisory

CVE-2020-19725

CVE vulnerability detail — eXtreme Datacenter Security Operations

Published 2023-08-22 00:00:00

Last updated 2024-10-04 16:07:10

Assigner mitre

State PUBLISHED

Description

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.

← Browse all CVEs View on cve.org ↗