TI-2020-18653 CVE-2020-36402 · GHSA-jw48-cfqw-3fqv
Solidity 0.7.5 has a stack-use-after-return issue in…
Priority LOW 36
Solidity 0.7.5 has a stack-use-after-return issue in smtutil::CHCSmtLib2Interface::querySolver.
No Soliditylang vulnerabilities are listed in CISA KEV.
2 records in Solidity · all components
Solidity 0.7.5 has a stack-use-after-return issue in smtutil::CHCSmtLib2Interface::querySolver.
Ethereum Solidity v0.8.14 contains an assertion failure via SMTEncoder::indexOrMemberAssignment() at SMTEncoder.cpp.