CVE-2024-34704

era-compiler-solidity is the ZKsync compiler for Solidity. The problem occurred during instruction selection in the `DAGCombine` phase while visiting the XOR operation. The issue arises when attempting to fold the expression `!(x cc y)` into `(x !cc y)`. To perform this transformation, the second operand of XOR should be a constant representing the true value. However, it was incorrectly assumed that -1 represents the true value, when in fact, 1 is the correct representation, so this transformation for this case should be skipped. This vulnerability is fixed in 1.4.1.
Configurations

No configuration.

History

14 May 2024, 15:39

Type Values Removed Values Added
New CVE

Information

Published : 2024-05-14 15:39

Updated : 2024-05-14 16:12


NVD link : CVE-2024-34704

Mitre link : CVE-2024-34704

CVE.ORG link : CVE-2024-34704


JSON object : View

Products Affected

No product.

CWE
CWE-682

Incorrect Calculation