CVE-2020-36402

2021-07-0103:15:07

Google

osv.dev

7 High

AI Score

Confidence

High

0.002 Low

EPSS

Percentile

52.3%

JSON

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.

CPENameOperatorVersion
solidityeq0.6.12
solidityeq0.4.24
solidityeq0.6.8
solidityeq0.4.11
solidityeq0.7.1
solidityeq0.4.7
solidityeq0.5.5
solidityeq0.5.1
solidityeq0.5.11
solidityeq0.4.25

Name	Operator	Version
solidity	eq	0.6.12
solidity	eq	0.4.24
solidity	eq	0.6.8
solidity	eq	0.4.11
solidity	eq	0.7.1
solidity	eq	0.4.7
solidity	eq	0.5.5
solidity	eq	0.5.1
solidity	eq	0.5.11
solidity	eq	0.4.25