CVE-2020-36402

HIGHCVSS 7.8/10EPSS 0.96%

Last modified

CVE-2020-36402 is a high-severity vulnerability rated 7.8/10 on the CVSS scale. 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.. EPSS estimates a 0.96% chance of exploitation in the next 30 days.

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.

Metrics

CVSS 3.1
7.8/10

CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H

EPSS Probability
0.96%

57.0th percentile

Probability of exploitation in the next 30 days. Learn more

Weakness Enumeration

Affected Software

VendorProductVersions
SoliditylangSolidity0.7.5

References

Timeline

Published
Last Modified
Status
Modified

Frequently Asked Questions

What is CVE-2020-36402?
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.
How severe is CVE-2020-36402?
CVE-2020-36402 has a CVSS score of 7.8/10 (HIGH severity). The EPSS model estimates a 0.96% probability of exploitation in the next 30 days.
How do I fix CVE-2020-36402?
Check the vendor references and advisories linked above for patched versions and mitigation guidance. You can also run a Strix scan to test if your systems are affected.

Are you affected by CVE-2020-36402?

Run a free Strix scan to check your systems for this vulnerability.

Scan your code now

Source: NVD / NIST