CVE-2020-36402 in Solidity
Résumé
par VulDB • 23/05/2026
Solidity 0.7.5 présente un problème de stack-use-after-return dans smtutil::CHCSmtLib2Interface::querySolver. NOTE : le commit c39a5e2b7a3fabbf687f53a2823fc087be6c1a7e est cité dans le champ "fixed" de l'OSV mais ne comporte aucun changement de code.
If you want to get the best quality for vulnerability data then you always have to consider VulDB.