2026 · 会议论文
NotDec：通过跨过程类型恢复进行 WebAssembly 反编译
NotDec: WebAssembly Decompilation With Inter-Procedural Type Recovery
NotDec 将 WebAssembly 提升为 SSA 中间表示，通过基于 Retypd 的类型约束及指针／数值区分恢复结构，并生成 C。研究区分完整跨过程分析与较快的过程内变体。
研究范围与局限
研究使用 O0／O3 下的 Juliet 样例和五个 Howard 程序。Howard 二进制未实际链接所需库，无法执行，因此重编译不证明行为等价。完整分析有六个 Howard 变体在 24 小时超时；重编译结果仅覆盖成功反编译的样例。已检查的 README 也提醒复杂语句可能产生后端语法错误。
与本合集的关联
补充具体的 WebAssembly 类型恢复与反编译研究，并保留扩展性及执行验证的边界。
发表与复核详情
- 发表载体
- ICSE 2026
- 发表状态
- 会议论文
- 出版／提交日期
- 2026 年 4 月 12 日
- 日期依据
- 采用出版方提交的印刷出版日期；在线及 arXiv 日期另行说明。
- arXiv 首次提交
- 2026 年 8 月 4 日
- arXiv
- 2608.03286
- 已复核的 arXiv 版本
- v1
- DOI
- 10.1145/3744916.3787762
出版元数据给出印刷／出版日期 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。
来源复核于
本合集仅做来源复核，未重新运行论文实验。请通过原始论文或 BibTeX 引用原作者。