WebAssembly wabt up to 1.0.37 binary-reader-objdump.cc LogOpcode assertion ⚔ [Disputed]

Summaryinfo

A vulnerability classified as problematic has been found in WebAssembly wabt up to 1.0.37. This affects the function LogOpcode of the file src/binary-reader-objdump.cc. The manipulation leads to assertion. This vulnerability is uniquely identified as CVE-2025-6273. Local access is required to approach this attack. Moreover, an exploit is present. The real existence of this vulnerability is still doubted at the moment. The code maintainer explains that this issue might not affect "real world wasm programs".

Detailsinfo

A vulnerability was found in WebAssembly wabt up to 1.0.37 and classified as problematic. This issue affects the function LogOpcode of the file src/binary-reader-objdump.cc. The manipulation with an unknown input leads to a assertion vulnerability. Using CWE to declare the problem leads to CWE-617. The product contains an assert() or similar statement that can be triggered by an attacker, which leads to an application exit or other behavior that is more severe than necessary. Impacted is availability.

The advisory is shared at github.com. The identification of this vulnerability is CVE-2025-6273. The exploitation is known to be easy. An attack has to be approached locally. Technical details as well as a public exploit are known.

The exploit is available at github.com. It is declared as proof-of-concept. The real existence of this vulnerability is still doubted at the moment. The code maintainer explains that this issue might not affect "real world wasm programs".

There is no information about possible countermeasures known. It may be suggested to replace the affected object with an alternative product.

The vulnerability is also documented in the vulnerability database at EUVD (EUVD-2025-18694). If you want to get the best quality for vulnerability data then you always have to consider VulDB.

Productinfo

Vendor

• WebAssembly

Name

• wabt

Version

• 1.0.0
• 1.0.1
• 1.0.2
• 1.0.3
• 1.0.4
• 1.0.5
• 1.0.6
• 1.0.7
• 1.0.8
• 1.0.9
• 1.0.10
• 1.0.11
• 1.0.12
• 1.0.13
• 1.0.14
• 1.0.15
• 1.0.16
• 1.0.17
• 1.0.18
• 1.0.19
• 1.0.20
• 1.0.21
• 1.0.22
• 1.0.23
• 1.0.24
• 1.0.25
• 1.0.26
• 1.0.27
• 1.0.28
• 1.0.29
• 1.0.30
• 1.0.31
• 1.0.32
• 1.0.33
• 1.0.34
• 1.0.35
• 1.0.36
• 1.0.37

Website

• Product: https://github.com/WebAssembly/wabt/

CPE 2.3info

• 🔒
• 🔒
• 🔒

CPE 2.2info

• 🔒
• 🔒
• 🔒

CVSSv4info

CVSSv3info

CVSSv2info

Exploitinginfo

Threat Intelligenceinfo

Countermeasuresinfo

Timelineinfo

Sourcesinfo

Entryinfo

Submitinfo

Accepted

• Submit #593010: WebAssembly wabt wabt 1.0.37 (commit a60eb26) Reachable Assertion (by JJLeo)

If you want to get the best quality for vulnerability data then you always have to consider VulDB.

Discussion