Solidity 0.7.5 has a stack-use-after-return issue in smtutil::CHCSmtLib2Interface::querySolver. NOTE: c39a5e2b7a3fabbf687f53a2823fc087be6c1a7e is cited in the OSV "fixed" field but does not have a code change.
History

No history.

cve-icon MITRE

Status: PUBLISHED

Assigner: mitre

Published: 2021-07-01T02:51:21

Updated: 2024-08-04T17:23:10.583Z

Reserved: 2021-07-01T00:00:00

Link: CVE-2020-36402

cve-icon Vulnrichment

No data.

cve-icon NVD

Status : Analyzed

Published: 2021-07-01T03:15:07.857

Modified: 2021-07-06T21:09:03.773

Link: CVE-2020-36402

cve-icon Redhat

No data.