Closed Bug 1939994 Opened 1 month ago Closed 1 month ago

Missing Validation for Reserved Byte in current_memory Instruction

Categories

(Core :: JavaScript: WebAssembly, defect)

Firefox 135
defect

Tracking

()

RESOLVED DUPLICATE of bug 1939986

People

(Reporter: tombox1337, Unassigned)

Details

Attachments

(1 file)

226 bytes, application/x-javascript
Details
Attached file program.js

Steps to reproduce:

Description

gecko-dev does not enforce the requirement that the reserved byte for the current_memory instruction must be zero. This behavior violates the WebAssembly specification, which mandates that the reserved byte should be zero.

Environment

  • OS: Ubuntu 20.04
  • CPU: amd64
  • Version: 047a913194120e9f4b3d86abfa670cbe7846a022

Steps to Reproduce

Run the following WebAssembly module:

/gecko-dev/obj-debug-x86_64-pc-linux-gnu/dist/bin/js ./program.js

Expected results

Per the WebAssembly specification, the current_memory instruction requires that the reserved byte must be zero. If the reserved byte is not zero, the module should fail validation with an error similar to:

reserved byte for current_memory must be zero, in function at index 0
Status: UNCONFIRMED → RESOLVED
Closed: 1 month ago
Duplicate of bug: 1939986
Resolution: --- → DUPLICATE
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Creator:
Created:
Updated:
Size: