CVE-2020-36402
HIGHSolidity 0.7.5 - Use-After-Free in smtutil::CHCSmtLib2Interface::querySolver
Title source: llmDescription
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.
References (3)
Core 3
Core References
Third Party Advisory x_refsource_misc
https://github.com/google/oss-fuzz-vulns/blob/main/vulns/solidity/OSV-2020-2131.yaml
Exploit, Issue Tracking, Patch, Third Party Advisory x_refsource_misc
https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=26997
Patch, Third Party Advisory x_refsource_misc
https://github.com/ethereum/solidity/commit/c39a5e2b7a3fabbf687f53a2823fc087be6c1a7e
Scores
CVSS v3
7.8
EPSS
0.0096
EPSS Percentile
57.1%
Attack Vector
LOCAL
CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H
Details
CWE
CWE-787
Status
published
Products (1)
soliditylang/solidity
0.7.5
Published
Jul 01, 2021
Tracked Since
Feb 18, 2026