Releases138
Frequency4 weeks 1 day
Last Release
Stars25.7K
Solidity, the Smart Contract Programming Language

CVE History

CVEAffectedPublishedCVSS v3CVSS v2
= 0.8.13, = 0.8.145.5 MEDIUM4.3 MEDIUM

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

= 0.7.57.8 HIGH6.8 MEDIUM

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.