Local process crash via tuple validation assertion
Published Jan 7, 2022 · Updated Aug 4, 2024
Reachable assertion in Binaryen 104 allows local users to crash wasm-as by supplying a crafted WebAssembly text file. The S-expression parser's parseTypeUse path constructs a wasm::Tuple containing a non-single type, and Tuple::validate asserts type.isSingle() rather than rejecting the malformed type. The impact is limited to aborting the invoked process after a user passes the crafted file to wasm-as; no confidentiality or integrity impact is reported.
Summary
What happened
Reachable assertion in Binaryen 104 allows local users to crash wasm-as by supplying a crafted WebAssembly text file. The S-expression parser's parseTypeUse path constructs a wasm::Tuple containing a non-single type, and Tuple::validate asserts type.isSingle() rather than rejecting the malformed type. The impact is limited to aborting the invoked process after a user passes the crafted file to wasm-as; no confidentiality or integrity impact is reported.
The record
- CVE
- CVE-2021-46052
- Published
- Jan 7, 2022
- Updated
- Aug 4, 2024
- Vendor
- Unknown vendor
- Product
- Unknown product
- Classifications
- CWE-617
- Attack vector
- local
- Privileges
- unauthenticated
Timeline
How it unfolded
- Jan 7, 2022CVE publishedPublication date reported by the CVE source.
- Aug 4, 2024Record 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.
Weakness, pattern, technique
Public exploit references
- POC6 malformed WebAssembly proof of conceptproof 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