CVE-2020-36402

PoC —

CVSS 3.1

7.8 high

EPSS

<1%p60

Published

Jul 1, 2021 (Jul 1, 2021)

Modified

Jun 17, 2026

Description

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.

Vendors: soliditylang
Products: solidity
Weakness: CWE-787
Vector: CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H

NVD CVE.org GitHub PoCs EPSS (1.0%)

In the news0 stories

No ingested article mentions this CVE yet.