# NotDec：通过跨过程类型恢复进行 WebAssembly 反编译

> NotDec 将 WebAssembly 提升为 SSA 中间表示，通过基于 Retypd 的类型约束及指针／数值区分恢复结构，并生成 C。研究区分完整跨过程分析与较快的过程内变体。

- 作者：Jikai Wang; Ningyu He; Tianming Liu; Junhai Wang; Haoyu Wang
- 原标题：NotDec: WebAssembly Decompilation With Inter-Procedural Type Recovery
- 发表载体：ICSE 2026
- 发表状态：会议论文
- 出版／提交日期：2026 年 4 月 12 日
- 日期依据：采用出版方提交的印刷出版日期；在线及 arXiv 日期另行说明。
- arXiv 首次提交：2026 年 8 月 4 日
- arXiv：2608.03286
- 已复核的 arXiv 版本：v1
- DOI：10.1145/3744916.3787762
- 来源复核于：2026-10-20
- 收录于：2026-10-20
- 原始论文：<https://dl.acm.org/doi/10.1145/3744916.3787762>
- PDF：<https://arxiv.org/pdf/2608.03286v1>
- 代码：<https://github.com/NotDec/NotDec>
- BibTeX：<https://awesomerea.org/papers/citations/paper-notdec.bib>
- 目录页面：<https://awesomerea.org/zh/papers/paper-notdec/>
- 记录 JSON：<https://awesomerea.org/papers/paper-notdec/record.json>
- 英文版：[English](https://awesomerea.org/papers/paper-notdec/index.md)

## 研究范围与局限

研究使用 O0／O3 下的 Juliet 样例和五个 Howard 程序。Howard 二进制未实际链接所需库，无法执行，因此重编译不证明行为等价。完整分析有六个 Howard 变体在 24 小时超时；重编译结果仅覆盖成功反编译的样例。已检查的 README 也提醒复杂语句可能产生后端语法错误。

## 与本合集的关联

补充具体的 WebAssembly 类型恢复与反编译研究，并保留扩展性及执行验证的边界。

## 发表与复核说明

出版元数据给出印刷／出版日期 2026-04-12、在线日期 2026-09-11；arXiv 提交于 2026-08-04。ACM 直接访问返回 HTTP 403，出版身份依据其 Crossref 元数据及作者 HTML。论文采用 CC BY-NC-ND 4.0。关联仓库 0399bf0 的 README 仍描述进行中的工作；尚未确定实验对应版本及覆盖全仓库代码／数据的许可，检查的根目录未出现 LICENSE／COPYING。

## 一手来源

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>

## 关于此条目

已依据论文及一手来源复核。请通过原始论文或 BibTeX 引用原作者。
原创说明采用 MIT 许可；外部项目、论文与素材保留各自的权利和许可。