# NotDec: WebAssembly Decompilation With Inter-Procedural Type Recovery

> NotDec lifts WebAssembly into SSA-based IR, uses Retypd-derived type constraints and pointer/value distinctions to recover structures, and emits C. Its study separates full interprocedural analysis from a faster intraprocedural variant.

- Authors: Jikai Wang; Ningyu He; Tianming Liu; Junhai Wang; Haoyu Wang
- Venue: ICSE 2026
- Status: Conference paper
- Publication / posting date: April 12, 2026
- Date source: Publisher-deposited print publication date; online and arXiv dates are recorded separately.
- First arXiv submission: August 4, 2026
- arXiv: 2608.03286
- Reviewed arXiv version: v1
- DOI: 10.1145/3744916.3787762
- Sources reviewed: 2026-10-20
- Added to the catalog: 2026-10-20
- Original paper: <https://dl.acm.org/doi/10.1145/3744916.3787762>
- PDF: <https://arxiv.org/pdf/2608.03286v1>
- Code: <https://github.com/NotDec/NotDec>
- BibTeX: <https://awesomerea.org/papers/citations/paper-notdec.bib>
- Catalog page: <https://awesomerea.org/papers/paper-notdec/>
- Record JSON: <https://awesomerea.org/papers/paper-notdec/record.json>
- Chinese version: [简体中文](https://awesomerea.org/zh/papers/paper-notdec/index.md)

## Scope and limitations

The study uses Juliet and five Howard programs at O0/O3. Howard binaries omit actual library linking and cannot be executed, so recompilation does not demonstrate behavioral equivalence. Full analysis timed out on six Howard variants at 24 hours; recompilation results cover successful decompilations. The inspected README also warns about backend syntax errors on complex statements.

## Why it fits this collection

Adds a concrete WebAssembly type-recovery and decompilation study with explicit scaling and execution limits.

## Publication and review notes

Publisher metadata gives print/publication 2026-04-12 and online 2026-09-11; the arXiv deposit is 2026-08-04. ACM returned HTTP 403, so publication identity uses its Crossref deposit and author HTML. The paper is CC BY-NC-ND 4.0. The linked repository README at 0399bf0 describes ongoing work; its evaluated revision and repository-wide code/data license were not established. No root LICENSE/COPYING was present in the inspected tree.

## Primary sources

1. <https://arxiv.org/abs/2608.03286v1>
2. <https://arxiv.org/html/2608.03286v1>
3. <https://api.crossref.org/works/10.1145/3744916.3787762>
4. <https://github.com/NotDec/NotDec/blob/0399bf0aec0f26247fee99097cb9442e4414bb0f/README.md>
5. <https://api.github.com/repos/NotDec/NotDec/git/trees/ae799d9867dcd54b7e8f34fdd18ab385d18022b7>

## About this entry

Reviewed against the paper and its primary sources. Cite the original authors using the linked paper or BibTeX.
Original editorial content: MIT. Linked projects, papers and assets retain their own rights and licenses.