runtimeverification / runtimeverification/wasm-semantics

Seeking Alternatives for Outdated py-wasm Package

Open
#524 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
WebAssembly
Stars
106
Forks
24
PR merge metrics
No merged PRs in 30d

Description

Problem

Our binary parser relies on the third-party Wasm interpreter py-wasm, which has not been maintained since 2019. Since then, the Wasm specification has evolved, introducing new instructions (#523) and possibly other features not supported by py-wasm. This issue is particularly critical as it blocks us from upgrading the Rust compiler version, which relies on these new instructions.

Temporary solution

To address this issue, we have decided to fork py-wasm and implement the missing instructions ourselves.

Long-term goal

Our ultimate goal is to identify a well-maintained third-party package developed by a reliable organization or company that can be adopted as a replacement.

Action Items

  1. Forking and Implementation: We will fork py-wasm to our repository and implement missing instructions to maintain compatibility with the latest Wasm specifications.
  2. Search for Alternatives: Concurrently, we are actively searching for alternative, well-maintained Wasm binary parser packages to replace py-wasm in the long term.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by reviewing how the binary parser depends on the outdated py-wasm package and compare that dependency with the Runtime Verification fork. Investigate maintained third-party Wasm parser alternatives and their support for newer instructions. Done means identifying a viable replacement or documenting why the fork must remain the long-term solution.

Written by the indexing model from the issue text.

Assessment

Tech stack
wasm
Domain
compilers
Issue type
Refactor
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.