VYPR

Solidity

by Soliditylang

CVEs (2)

  • CVE-2020-36402HigJul 1, 2021
    risk 0.44cvss 7.8epss 0.01

    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.

  • CVE-2022-33069MedJun 23, 2022
    risk 0.36cvss 5.5epss 0.01

    Ethereum Solidity v0.8.14 contains an assertion failure via SMTEncoder::indexOrMemberAssignment() at SMTEncoder.cpp.