CVE-2020-36402 in Solidity
Resumen
por VulDB • 2026-08-11
Solidity 0.7.5 presenta un problema de stack-use-after-return en smtutil::CHCSmtLib2Interface::querySolver. NOTA: c39a5e2b7a3fabbf687f53a2823fc087be6c1a7e se cita en el campo "fixed" de OSV, pero no incluye cambios en el código.
If you want to get the best quality for vulnerability data then you always have to consider VulDB.