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

原文の説明

取得元が公開している説明をそのまま載せています (多くは英語)。

出典: OSV.dev (Open Source Vulnerabilities) NVD OSV

参照URL

• advisory github.com
• advisory nvd.nist.gov
• report github.com