Local compiler crash via repeated operation replacement
Published May 5, 2023 · Updated Jan 29, 2025
Reachable assertion in LLVM MLIR allows local users to crash mlir-opt by processing crafted MLIR through the gpu-to-llvm pass. The reported stack shows GenericAtomicRMWOpLowering erasing an operation already recorded as replaced, triggering notifyOpReplaced. Execution requires a user to run mlir-opt on the crafted module; the demonstrated consequence is termination of that compiler process, not system compromise.
Summary
What happened
Reachable assertion in LLVM MLIR allows local users to crash mlir-opt by processing crafted MLIR through the gpu-to-llvm pass. The reported stack shows GenericAtomicRMWOpLowering erasing an operation already recorded as replaced, triggering notifyOpReplaced. Execution requires a user to run mlir-opt on the crafted module; the demonstrated consequence is termination of that compiler process, not system compromise.
The record
- CVE
- CVE-2023-29935
- Published
- May 5, 2023
- Updated
- Jan 29, 2025
- Vendor
- Unknown vendor
- Product
- Unknown product
- Classifications
- CWE-617, T1499.004
- Attack vector
- local
- Privileges
- unauthenticated
Timeline
How it unfolded
- May 5, 2023CVE publishedPublication date reported by the CVE source.
- Jan 29, 2025Record updatedLatest update available in the CVE record.
Exploitability
Present is not the same as exploitable
Compare your product and version with the public record. A matching version still requires validation against your environment.
Is a vulnerable build present?
What conditions does exploitation require?
What is affected?
Affected products and versions are unavailable in this record.
Attacks
What attackers are doing with it
Daily unique IPs observed by Shadowserver honeypots for known exploited vulnerabilities (KEVs). Missing observations do not establish an absence of attacks.
Public exploit references
- MLIR gpu-to-llvm crash reproducerproof of concept · demonstrated
Labels summarize the accepted research assessment. They do not indicate a test against your environment.
Technologies
Your stack
See the directory against your own environment.
Your stack
Check the software in your environment
Book a demo to see how Hinoki identifies affected software and validates exploitability in your environment.
Book a demo