CVEvulnerability

CVE-2020-36402

7.8 HIGH Published 2021-07-01 Modified 2026-06-17 Official page ↗
Status
Modified
Published
2021-07-01
Last modified
2026-06-17
Assigner
[email protected]
CVSS 3.1 ([email protected])
7.8 HIGH — CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H
CVSS 2.0 ([email protected])
6.8 MEDIUM — AV:N/AC:M/Au:N/C:P/I:P/A:P
Weaknesses
CWE-787

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.

Affected configurations

• soliditylang solidity 0.7.5

Related

Weakness · CWE (1)

  • CWE-787 Out-of-bounds Write weakness

References