WebAssembly / WebAssembly/wabt
incorrect memory.copy in mixed memory index types
Open
Nobody has claimed this yet.
- Dominant language
- C++
- Stars
- 8.1k
- Forks
- 827
- Avg merge
- 4d 6h
- Merged PRs (30d)
- 18
Description
Build
Build wasm-interp in debug mode
Command
./wasm-interp --enable-multi-memory --enable-memory64 poc.wasm --run-export test
Observed result
Debug assertion failure in include/wabt/interp/interp.h:587
Expected behavior
The module should execute successfully and return 72
Environment
- wabt 1.0.39
- OS: Linux x86_64 Ubuntu
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Build wasm-interp in debug mode and run the provided command with poc.wasm, enabling multi-memory and memory64. Start at the assertion in include/wabt/interp/interp.h:587 and trace the mixed memory index handling. Done means the module executes successfully and returns 72 without the assertion failure.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp, wasm
- Domain
- compilers, devtools
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Quiet
- Clarity
- Mostly clear
- Newbie friendliness
- 68/100