{
  "added_at": "2026-10-20",
  "arxiv_id": "2609.34089",
  "arxiv_version_reviewed": "v1",
  "authors": [
    "Luke Dramko",
    "Claire Le Goues",
    "Edward Schwartz"
  ],
  "bibtex_url": "https://awesomerea.org/papers/citations/paper-faultless.bib",
  "code_url": "https://github.com/squaresLab/faultless",
  "date_basis": "arXiv v1 submission date; no formal publication venue was verified.",
  "date_basis_zh": "采用 arXiv v1 首次提交日期；未核实正式发表场所。",
  "date_precision": "day",
  "description_en": "Compares neural-decompiler C output with deterministic decompilation or reference functions using symbolic execution and a specialized memory model. It supports both analyst-facing validation and model evaluation without requiring the surrounding codebase.",
  "description_zh": "利用符号执行与专门的内存模型，将神经反编译器生成的 C 代码与确定性反编译结果或参考函数比较，无需完整周边代码库，可用于分析人员的结果核查及模型评估。",
  "doi": "10.48550/arxiv.2609.34089",
  "entry_url": "https://awesomerea.org/papers/paper-faultless/",
  "entry_url_zh": "https://awesomerea.org/zh/papers/paper-faultless/",
  "evidence_urls": [
    "https://arxiv.org/abs/2609.34089",
    "https://arxiv.org/html/2609.34089v1",
    "https://api.datacite.org/dois/10.48550/arxiv.2609.34089",
    "https://github.com/squaresLab/faultless",
    "https://github.com/squaresLab/faultless/blob/059023d874f4103b5e645a9d6d6ddbdb2bbb6da0/README.md",
    "https://github.com/squaresLab/faultless/blob/059023d874f4103b5e645a9d6d6ddbdb2bbb6da0/LICENSE",
    "https://github.com/squaresLab/faultless/blob/059023d874f4103b5e645a9d6d6ddbdb2bbb6da0/pyproject.toml"
  ],
  "first_arxiv_date": "2026-09-28",
  "id": "paper-faultless",
  "json_url": "https://awesomerea.org/papers/paper-faultless/record.json",
  "kind": "research",
  "markdown_url": "https://awesomerea.org/papers/paper-faultless/index.md",
  "markdown_url_zh": "https://awesomerea.org/zh/papers/paper-faultless/index.md",
  "metadata_notes": "The three-author order and first-submission date follow arXiv v1. DataCite records the arXiv DOI as findable, registered on 2026-09-29, despite the abstract page’s pending-registration label. The paper is CC BY-SA 4.0. The author-linked public repository was reviewed at 059023d874f4103b5e645a9d6d6ddbdb2bbb6da0; its root license is MIT and README calls the Python/tree-sitter/Z3 implementation a proof of concept.",
  "metadata_notes_zh": "三位作者顺序与首投日期依据 arXiv v1。摘要页虽仍显示 DOI 待登记，DataCite 已将其列为可检索，登记于 2026-09-29。论文采用 CC BY-SA 4.0。作者链接的公开仓库固定核查于 059023d874f4103b5e645a9d6d6ddbdb2bbb6da0；根目录为 MIT 许可，README 将基于 Python、tree-sitter 与 Z3 的实现称为概念验证。",
  "pdf_url": "https://arxiv.org/pdf/2609.34089v1",
  "project_url": null,
  "publication_date": "2026-09-28",
  "publication_status": "preprint",
  "record_type": "paper",
  "runtime_tested": false,
  "scope_limitations_en": "Function-level checks abstract away side-effect ordering and some compiler details; configurable options further relax return, argument and type conditions. The implementation has explicit heap-related soundness limitations and requires compatible loop structure; unsupported C features and context-independent dependency assumptions also limit coverage. Failure to establish equivalence is not proof of inequivalence. Evaluations use filtered realtype and ExeBench pairs, not unrestricted whole-program equivalence.",
  "scope_limitations_zh": "检查限定于函数级，抽象掉副作用顺序和部分编译器细节，选项还可放宽返回值、实参及类型条件。实现明确存在与堆有关的可靠性缺口，并要求兼容的循环结构；不支持的 C 特性及脱离上下文的依赖假设也限制覆盖。未能建立等价关系并不证明不等价。实验使用筛选后的 realtype 与 ExeBench 函数对，不代表任意整程序等价。",
  "targets": [
    "binary"
  ],
  "title": "Faultless: A Program Equivalence Technique for Validating and Evaluating Neural Decompilers",
  "title_zh": "Faultless：验证和评估神经反编译器的程序等价性方法",
  "url": "https://arxiv.org/abs/2609.34089",
  "venue": "arXiv",
  "verification": "source-reviewed",
  "verified_at": "2026-10-20",
  "why_fits_en": "Adds a concrete validation method for recovered code while exposing the assumptions and unsound cases hidden by an unconditional equivalence label.",
  "why_fits_zh": "为恢复代码提供具体核查方法，同时揭示无条件“等价”标签可能掩盖的假设与不可靠情形。",
  "year": 2026
}