Description
Ethereum Solidity v0.8.14 contains an assertion failure via SMTEncoder::indexOrMemberAssignment() at SMTEncoder.cpp.
References (1)
Core 1
Core References
Exploit, Issue Tracking, Patch, Third Party Advisory x_refsource_misc
https://github.com/ethereum/solidity/issues/12973
Scores
CVSS v3
5.5
EPSS
0.0054
EPSS Percentile
41.2%
Attack Vector
LOCAL
CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H
Details
CWE
CWE-617
Status
published
Products (2)
soliditylang/solidity
0.8.13
soliditylang/solidity
0.8.14
Published
Jun 23, 2022
Tracked Since
Feb 18, 2026