CVE-2020-36402

See a problem?
Please try reporting it to the source first.
Source
https://cve.org/CVERecord?id=CVE-2020-36402
Import Source
https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2020-36402.json
JSON Data
https://api.osv.dev/v1/vulns/CVE-2020-36402
Published
2021-07-01T03:15:07.857Z
Modified
2026-04-10T04:26:42.340734Z
Severity
  • 7.8 (High) CVSS_V3 - CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H CVSS Calculator
Summary
[none]
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.

References

Affected packages

Git / github.com/argotorg/solidity

Affected ranges

Type
GIT
Repo
https://github.com/argotorg/solidity
Events
Introduced
0 Unknown introduced commit / All previous commits are affected
Fixed
c39a5e2b7a3fabbf687f53a2823fc087be6c1a7e
Type
GIT
Repo
https://github.com/ethereum/solidity
Events
Introduced
0 Unknown introduced commit / All previous commits are affected
Last affected
eb77ed080a44c456caedde666e8af813685a16f4
Database specific 
{
    "versions": [
        {
            "introduced": "0"
        },
        {
            "last_affected": "0.7.5"
        }
    ]
}

Affected versions

Other
blareleasee
untagged-27b6b8c17c231218d703
untagged-3024eaee36d028412763
untagged-ac13667a0597c2802196
untagged-eb67220b6c6b5ba404ca
v0.*
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.15
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"