CVE-2022-33069
Homebrew vulnerability analysis and mitigation

Overview

Ethereum Solidity version 0.8.14 contains a vulnerability identified as CVE-2022-33069, which manifests as an assertion failure in the SMTEncoder::indexOrMemberAssignment() function at SMTEncoder.cpp. The vulnerability was discovered and disclosed in June 2022, affecting the Solidity compiler's SMTChecker component (NVD).

Technical details

The vulnerability is characterized by an internal compiler error that occurs during the SMT (Satisfiability Modulo Theories) encoding process. Specifically, the issue triggers an assertion failure in the SMTEncoder::indexOrMemberAssignment() function located in the SMTEncoder.cpp file. The vulnerability has been assigned a CVSS v3.1 base score of 5.5 (Medium), with a vector string of CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H (NVD).

Impact

The vulnerability affects the availability of the Solidity compiler's SMTChecker component, potentially causing the compiler to crash during the compilation process of smart contracts. This can disrupt development workflows and contract verification processes (NVD).

Additional resources


SourceThis report was generated using AI

Related Homebrew vulnerabilities:

CVE ID

Severity

Score

Technologies

Component name

CISA KEV exploit

Has fix

Published date

CVE-2026-21693HIGH8.8
  • HomebrewHomebrew
  • iccdev
NoYesJan 07, 2026
CVE-2026-21692HIGH8.8
  • HomebrewHomebrew
  • iccdev
NoYesJan 07, 2026
CVE-2025-69262HIGH7.8
  • JavaScriptJavaScript
  • pnpm
NoYesJan 07, 2026
CVE-2026-21885MEDIUM6.5
  • NixOSNixOS
  • miniflux
NoYesJan 08, 2026
CVE-2026-21691MEDIUM6.5
  • HomebrewHomebrew
  • iccdev
NoYesJan 07, 2026

Free Vulnerability Assessment

Benchmark your Cloud Security Posture

Evaluate your cloud security practices across 9 security domains to benchmark your risk level and identify gaps in your defenses.

Request assessment

Get a personalized demo

Ready to see Wiz in action?

"Best User Experience I have ever seen, provides full visibility to cloud workloads."
David EstlickCISO
"Wiz provides a single pane of glass to see what is going on in our cloud environments."
Adam FletcherChief Security Officer
"We know that if Wiz identifies something as critical, it actually is."
Greg PoniatowskiHead of Threat and Vulnerability Management