VYPR
← All advisories
High severity7.8NVD Advisory· Published Aug 22, 2023· Updated Jun 17, 2026

CVE-2020-19725

CVE-2020-19725

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.

AI Insight

LLM-synthesized narrative grounded in this CVE's description and references.

Affected products

2
  • Microsoft/Z3
    cpe:2.3:a:microsoft:z3:*:*:*:*:*:*:*:*
    Range: <4.8.8
  • Z3/Z3description

Patches

Vulnerability mechanics

References

1

News mentions

0

No linked articles in our index yet.