CVE-2020-36402

Solidity 0.7.5 has a stack-use-after-return issue in smtutil::CHCSmtLib2Interface::querySolver

published July 1, 2021

CVSS
—
EPSS
1%
Percentile
61.2
In the wild
Unconfirmed
What it is

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.

The record
Technical detail
CVSS
Not scored
CVSS v4.0
Not supplied
EPSS
0.00960 · 61.2th percentile
Published
2021-07-01T02:51Z
EPSS history
Timeline
  • 01 JUL 02:51Z
    Solidity 0.7.5 has a stack-use-after-return issue in smtutil::CHCSmtLib2Interface::querySolver
    cvelistv5