CVE-2020-19725

n/a / n/a PUBLISHED

Description (CNA)

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.

Affected (CNA)

Vendor / product	Versions
n/a / n/a	affected n/a

CWE

No CWE identifiers supplied.

References

https://github.com/Z3Prover/z3/issues/3363

ADP enrichment

CVE

No English description supplied.

https://github.com/Z3Prover/z3/issues/3363

CISA-ADP

No English description supplied.

No references supplied.