High severity7.8NVD Advisory· Published Jul 1, 2021· Updated Jun 17, 2026
CVE-2020-36402
CVE-2020-36402
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.
AI Insight
LLM-synthesized narrative grounded in this CVE's description and references.
Affected products
3- cpe:2.3:a:soliditylang:solidity:0.7.5:*:*:*:*:*:*:*
- Solidity/Soliditydescription
Patches
Vulnerability mechanics
References
3- github.com/ethereum/solidity/commit/c39a5e2b7a3fabbf687f53a2823fc087be6c1a7envdPatchThird Party Advisory
- bugs.chromium.org/p/oss-fuzz/issues/detailnvdExploitIssue TrackingPatchThird Party Advisory
- github.com/google/oss-fuzz-vulns/blob/main/vulns/solidity/OSV-2020-2131.yamlnvdThird Party Advisory
News mentions
0No linked articles in our index yet.