{
  "added_at": "2026-10-20",
  "arxiv_id": "2608.27981",
  "arxiv_version_reviewed": "v1",
  "authors": [
    "Varun Kohli",
    "N Raghava",
    "Biplab Sikdar",
    "Dinil Mon Divakaran"
  ],
  "bibtex_url": "https://awesomerea.org/papers/citations/paper-chisel-iterative-recovery.bib",
  "code_url": "https://github.com/VarunKohli18/chisel",
  "date_basis": "Acceptance is reported in the author arXiv record and publications page; proceedings publication is not verified.",
  "date_basis_zh": "作者的 arXiv 记录及论文页面报告已录用；未核实正式论文集出版。",
  "date_precision": "year",
  "description_en": "CHISEL refines Ghidra pseudocode using compiler diagnostics and type-aware differential fuzzing against the original function. It retains counterexamples and candidate history; existing I/O pairs are held out for evaluation rather than supplied to the recovery loop.",
  "description_zh": "CHISEL 利用编译诊断及针对原函数的类型感知差分模糊测试改进 Ghidra 伪代码，并保留反例与候选历史。既有 I/O 样例用于保留评测，不提供给恢复循环。",
  "doi": null,
  "entry_url": "https://awesomerea.org/papers/paper-chisel-iterative-recovery/",
  "entry_url_zh": "https://awesomerea.org/zh/papers/paper-chisel-iterative-recovery/",
  "evidence_urls": [
    "https://arxiv.org/abs/2608.27981v1",
    "https://arxiv.org/html/2608.27981v1",
    "https://www.dinil.net/publications",
    "https://github.com/VarunKohli18/chisel/blob/855acb07d0ee69b759d91895e8b5a846291db5a5/README.md",
    "https://api.github.com/repos/VarunKohli18/chisel/git/trees/ece4cc2b45641e4aa968f2343f165c5ca242d5da"
  ],
  "first_arxiv_date": "2026-08-28",
  "id": "paper-chisel-iterative-recovery",
  "json_url": "https://awesomerea.org/papers/paper-chisel-iterative-recovery/record.json",
  "kind": "research",
  "markdown_url": "https://awesomerea.org/papers/paper-chisel-iterative-recovery/index.md",
  "markdown_url_zh": "https://awesomerea.org/zh/papers/paper-chisel-iterative-recovery/index.md",
  "metadata_notes": "Author sources report acceptance to SURE 2026; the manuscript DOI remains a placeholder, so no proceedings publication date or DOI is assigned. The paper says selection requires at least 200 tests, while the pinned README says at least 100 held-out I/O pairs; exact evaluated artifact alignment remains unresolved. The article is CC BY 4.0, but the inspected root/README did not establish a code/data license.",
  "metadata_notes_zh": "作者来源报告已被 SURE 2026 录用；手稿 DOI 仍是占位值，因此不填入正式论文集出版日期或 DOI。论文的筛选要求至少 200 个测试，固定版本 README 则写至少 100 个保留 I/O 样例，尚未确定与实际评估产物的精确对应。文章采用 CC BY 4.0，但所查根目录及 README 未确立代码／数据许可。",
  "pdf_url": "https://arxiv.org/pdf/2608.27981v1",
  "project_url": null,
  "publication_date": null,
  "publication_status": "conference-accepted",
  "record_type": "paper",
  "runtime_tested": false,
  "scope_limitations_en": "Evaluation covers 120 selected ExeBench functions, x86-64 O0–O3, stripped/unstripped variants and a fixed Gemma4:31b model. The feedback oracle still falsely accepts candidates; finite fuzzing and held-out tests do not establish equivalence. Signature recovery and possible benchmark exposure remain limitations.",
  "scope_limitations_zh": "评估覆盖 120 个选定 ExeBench 函数、x86-64 的 O0–O3、有／无符号变体及固定的 Gemma4:31b 模型。反馈判定器仍会错误接受候选；有限模糊测试及保留测试不证明等价。签名恢复及基准可能进入预训练语料仍是限制。",
  "targets": [
    "binary"
  ],
  "title": "CHISEL-ing Back Source Code with AI-enabled Iterative Recovery",
  "title_zh": "CHISEL：借助 AI 迭代恢复源码",
  "url": "https://arxiv.org/abs/2608.27981",
  "venue": "SURE @ ACM CCS 2026",
  "verification": "source-reviewed",
  "verified_at": "2026-10-20",
  "why_fits_en": "Adds test-suite-free in-loop refinement while explicitly separating oracle acceptance from verified behavior.",
  "why_fits_zh": "补充循环内不依赖既有测试集的修正方法，并区分判定器接受与行为验证。",
  "year": 2026
}