Skip to content

Add wasm32 Pyodide wheel support - #555

Merged
twizmwazin merged 5 commits into
masterfrom
wasm-host-support
Jul 22, 2026
Merged

Add wasm32 Pyodide wheel support#555
twizmwazin merged 5 commits into
masterfrom
wasm-host-support

Conversation

@zardus

@zardus zardus commented Jul 21, 2026

Copy link
Copy Markdown
Member

Summary

  • build PyVEX and its VEX submodule for a wasm32 Emscripten host
  • run the generated-offset helper through the configured cross-compiling emulator
  • select a 32-bit VEX host description for lifting-only browser use
  • add PEP 783 Pyodide wheel configuration and CI

PyVEX does not emit host machine code in this use case; the selected host description supplies the host word size required by VEX lifting.

Validation

Built and imported the wheel under Pyodide 314.0.2. Tested AMD64 and ARM lifting, control-flow metadata, and 64-bit guest data references on wasm32.

@angr-bot

Copy link
Copy Markdown
Member

Corpus decompilation diffs can be found at angr/dec-snapshots@master...angr/pyvex_555

Comment thread .github/workflows/wasm.yml Outdated
Comment thread pyproject.toml Outdated
Comment thread pyproject.toml Outdated
Comment thread pyproject.toml Outdated
@twizmwazin
twizmwazin merged commit 45e4e36 into master Jul 22, 2026
21 checks passed
@twizmwazin
twizmwazin deleted the wasm-host-support branch July 22, 2026 01:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants