{
  "added_at": "2026-10-20",
  "arxiv_id": "2608.03286",
  "arxiv_version_reviewed": "v1",
  "authors": [
    "Jikai Wang",
    "Ningyu He",
    "Tianming Liu",
    "Junhai Wang",
    "Haoyu Wang"
  ],
  "bibtex_url": "https://awesomerea.org/papers/citations/paper-notdec.bib",
  "citation": {
    "container_title": "Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering",
    "pages": "3813-3824",
    "publisher": "ACM",
    "sources": [
      "https://api.crossref.org/works/10.1145/3744916.3787762"
    ]
  },
  "code_url": "https://github.com/NotDec/NotDec",
  "date_basis": "Publisher-deposited print publication date; online and arXiv dates are recorded separately.",
  "date_basis_zh": "采用出版方提交的印刷出版日期；在线及 arXiv 日期另行说明。",
  "date_precision": "day",
  "description_en": "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.",
  "description_zh": "NotDec 将 WebAssembly 提升为 SSA 中间表示，通过基于 Retypd 的类型约束及指针／数值区分恢复结构，并生成 C。研究区分完整跨过程分析与较快的过程内变体。",
  "doi": "10.1145/3744916.3787762",
  "entry_url": "https://awesomerea.org/papers/paper-notdec/",
  "entry_url_zh": "https://awesomerea.org/zh/papers/paper-notdec/",
  "evidence_urls": [
    "https://arxiv.org/abs/2608.03286v1",
    "https://arxiv.org/html/2608.03286v1",
    "https://api.crossref.org/works/10.1145/3744916.3787762",
    "https://github.com/NotDec/NotDec/blob/0399bf0aec0f26247fee99097cb9442e4414bb0f/README.md",
    "https://api.github.com/repos/NotDec/NotDec/git/trees/ae799d9867dcd54b7e8f34fdd18ab385d18022b7"
  ],
  "first_arxiv_date": "2026-08-04",
  "id": "paper-notdec",
  "json_url": "https://awesomerea.org/papers/paper-notdec/record.json",
  "kind": "research",
  "markdown_url": "https://awesomerea.org/papers/paper-notdec/index.md",
  "markdown_url_zh": "https://awesomerea.org/zh/papers/paper-notdec/index.md",
  "metadata_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.",
  "metadata_notes_zh": "出版元数据给出印刷／出版日期 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。",
  "pdf_url": "https://arxiv.org/pdf/2608.03286v1",
  "project_url": null,
  "publication_date": "2026-04-12",
  "publication_status": "conference-paper",
  "record_type": "paper",
  "runtime_tested": false,
  "scope_limitations_en": "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.",
  "scope_limitations_zh": "研究使用 O0／O3 下的 Juliet 样例和五个 Howard 程序。Howard 二进制未实际链接所需库，无法执行，因此重编译不证明行为等价。完整分析有六个 Howard 变体在 24 小时超时；重编译结果仅覆盖成功反编译的样例。已检查的 README 也提醒复杂语句可能产生后端语法错误。",
  "targets": [
    "binary"
  ],
  "title": "NotDec: WebAssembly Decompilation With Inter-Procedural Type Recovery",
  "title_zh": "NotDec：通过跨过程类型恢复进行 WebAssembly 反编译",
  "url": "https://dl.acm.org/doi/10.1145/3744916.3787762",
  "venue": "ICSE 2026",
  "verification": "source-reviewed",
  "verified_at": "2026-10-20",
  "why_fits_en": "Adds a concrete WebAssembly type-recovery and decompilation study with explicit scaling and execution limits.",
  "why_fits_zh": "补充具体的 WebAssembly 类型恢复与反编译研究，并保留扩展性及执行验证的边界。",
  "year": 2026
}