CVE-2020-36402 in Solidity
Сводка
по VulDB • 12.09.2026
В Solidity 0.7.5 обнаружена уязвимость stack-use-after-return в функции smtutil::CHCSmtLib2Interface::querySolver. Примечание: коммит c39a5e2b7a3fabbf687f53a2823fc087be6c1a7e указан в поле "fixed" базы OSV, однако не содержит изменений кода.
If you want to get best quality of vulnerability data, you may have to visit VulDB.