{"id":"CVE-2020-36402","details":"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.","modified":"2026-03-10T23:19:47.983156Z","published":"2021-07-01T03:15:07.857Z","references":[{"type":"WEB"},{"type":"ADVISORY","url":"https://github.com/google/oss-fuzz-vulns/blob/main/vulns/solidity/OSV-2020-2131.yaml"},{"type":"FIX","url":"https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=26997"},{"type":"FIX","url":"https://github.com/ethereum/solidity/commit/c39a5e2b7a3fabbf687f53a2823fc087be6c1a7e"}],"affected":[{"ranges":[{"repo":"https://github.com/argotorg/solidity","events":[{"introduced":"0"},{"fixed":"c39a5e2b7a3fabbf687f53a2823fc087be6c1a7e"}]},{"type":"GIT","repo":"https://github.com/ethereum/solidity","events":[{"introduced":"0"},{"last_affected":"eb77ed080a44c456caedde666e8af813685a16f4"}],"database_specific":{"versions":[{"introduced":"0"},{"last_affected":"0.7.5"}]}}],"versions":["blareleasee","untagged-27b6b8c17c231218d703","untagged-3024eaee36d028412763","untagged-ac13667a0597c2802196","untagged-eb67220b6c6b5ba404ca","v0.1.2","v0.1.3","v0.1.4","v0.1.5","v0.1.6","v0.1.7","v0.2.0","v0.2.1","v0.2.2","v0.3.0","v0.3.1","v0.3.2","v0.3.3","v0.3.4","v0.3.5","v0.3.6","v0.4.0","v0.4.1","v0.4.10","v0.4.11","v0.4.12","v0.4.13","v0.4.14","v0.4.15","v0.4.16","v0.4.17","v0.4.18","v0.4.19","v0.4.2","v0.4.20","v0.4.21","v0.4.22","v0.4.23","v0.4.24","v0.4.25","v0.4.3","v0.4.4","v0.4.5","v0.4.6","v0.4.7","v0.4.8","v0.4.9","v0.5.0","v0.5.1","v0.5.10","v0.5.11","v0.5.12","v0.5.13","v0.5.14","v0.5.15","v0.5.16","v0.5.17","v0.5.2","v0.5.3","v0.5.4","v0.5.5","v0.5.6","v0.5.7","v0.5.8","v0.5.9","v0.6.0","v0.6.1","v0.6.10","v0.6.11","v0.6.12","v0.6.2","v0.6.3","v0.6.4","v0.6.5","v0.6.6","v0.6.7","v0.6.8","v0.6.9","v0.7.0","v0.7.1","v0.7.2","v0.7.3","v0.7.4","v0.7.5"],"database_specific":{"source":"https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2020-36402.json"}}],"schema_version":"1.7.3","severity":[{"type":"CVSS_V3","score":"CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H"}]}