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.
Metrics
Affected Vendors & Products
References
History
No history.
MITRE
Status: PUBLISHED
Assigner: GitHub_M
Published: 2024-05-13T19:13:27.510Z
Updated: 2024-08-02T02:59:21.780Z
Reserved: 2024-05-07T13:53:00.132Z
Link: CVE-2024-34704
Vulnrichment
Updated: 2024-08-02T02:59:21.780Z
NVD
Status : Awaiting Analysis
Published: 2024-05-14T15:39:29.560
Modified: 2024-05-14T16:12:23.490
Link: CVE-2024-34704
Redhat
No data.