Filtered by vendor Soliditylang Subscriptions
Total 2 CVE
CVE Vendors Products Updated CVSS v3.1
CVE-2020-36402 2 Linux, Soliditylang 2 Linux Kernel, Solidity 2024-08-04 7.8 High
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-33069 1 Soliditylang 1 Solidity 2024-08-03 5.5 Medium
Ethereum Solidity v0.8.14 contains an assertion failure via SMTEncoder::indexOrMemberAssignment() at SMTEncoder.cpp.