Search vulnerabilities

Use the Query Builder to create your own search query, or check out the documentation to learn the search syntax.

Results 2

Export CSV
CVE-2022-33069

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

CVSS 3.1 · 5.5 Medium EPSS < 1% KEV · Not listed
Vendors
Soliditylang
Products
Solidity
CVE-2020-36402

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.

CVSS 3.1 · 7.8 High EPSS < 1% KEV · Not listed
Vendors
Linux Soliditylang
Products
Linux Kernel Solidity