开发者生态
morning
无启发式的确定性全静态全二进制翻译
2026-05-13
1 阅读
matt_d
计算机科学 > 密码学与安全 arXiv:2605.08419 (cs) [提交于 2026 年 5 月 8 日] 标题：无启发式确定性全静态全二进制翻译 作者：Hongyu Chen、James McGowan、Michael Franz 查看标题为“无启发式确定性全静态全二进制翻译”论文的 PDF，作者为 Hongyu Chen 和其他 2 位作者 查看 PDF HTML （实验性）摘要：我们推出了 Elevator，这是第一个二进制翻译器，可以将整个 x86-64 可执行文件静态翻译为 AArch64，无需调试信息、源代码或有关代码布局的假设。现有系统依靠启发式或运行时回退来处理代码与数据解码错误，而 Elevator 则不同，它会考虑每个字节的所有可能解释，并提前为每个可行的解释生成单独的翻译。任何字节都可以解释为数据、操作码或操作码参数；我们为所有解释生成单独的控制流路径，仅修剪那些导致异常终止的路径。翻译是通过编写从源 ISA 的高级描述自动派生的代码“tiles”来构建的，从而产生灵活的翻译框架。该方法是确定性的，并生成完整的、独立的二进制文件，可信代码库中没有运行时组件。主要成本是代码大小的大幅扩展。主要优点是输出是将运行的实际代码，可在部署之前进行测试、验证、认证和加密签名，从而与模拟器或 JIT 编译器相比降低风险。我们在各种现实世界的二进制文件（包括整个 SPECint 2006 套件）上评估 Elevator，证明静态全程序二进制翻译既可靠又实用。 Elevator 的性能与 QEMU 的用户模式 JIT 仿真相当或更好。主题：密码学和安全 (cs.CR)；编程语言 (cs.PL) 引用为：arXiv:2605.08419 [cs.CR]（或此版本的 arXiv:2605.08419v1 [cs.CR]） https://doi.org/10.48550/arXiv.2605.08419 重点了解更多 通过 DataCite 发布的 arXiv DOI（待注册） 提交历史 发件人： Hongyu Chen [ 查看电子邮件 ] [v1] 星期五， 2026 年 5 月 8 日 19:25:06 UTC (332 KB) 全文链接： 访问论文： 查看由 Hongyu Chen 和其他 2 位作者撰写的标题为“确定性全静态全二进制翻译，无启发式”的论文的 PDF 查看 PDF HTML（实验性） TeX 源代码 查看许可证 当前浏览上下文： cs.CR < 上一页 | 上一页 | 下一页下一页 > 新 |最近 | 2026-05 更改为浏览方式：cs cs.PL 参考文献和引文 NASA ADS Google Scholar 语义学者导出 BibTeX 引文 正在加载... BibTeX 格式的引文 × 正在加载... 数据提供者： 书签 书目工具 书目和引文工具 书目浏览器 切换书目浏览器（什么是浏览器？） 已连接论文 切换已连接论文（什么是已连接）论文？ ) Litmaps 切换 Litmaps（什么是 Litmaps？） scite.ai 切换 scite 智能引文（什么是智能引文？） 与本文相关的代码、数据、媒体 代码、数据和媒体 alphaXiv 切换 alphaXiv（什么是 alphaXiv？） 代码链接 切换 CatalyzeX 论文代码查找器（什么是 CatalyzeX？） DagsHub 切换 DagsHub (什么是 DagsHub？) GotitPub 切换 Gotit.pub (什么是 GotitPub？) Huggingface 切换拥抱面 (什么是 Huggingface？) ScienceCast 切换 ScienceCast (什么是 ScienceCast？) 演示 演示 复制 切换复制 (什么是复制？) Spaces 切换拥抱面 空间 (什么是空间？ ) 空间 切换 TXYZ.AI（什么是 TXYZ.AI？） 相关论文推荐器和搜索工具 链接到 Influence Flower Influence Flower（什么是 Influence Flowers？） 核心推荐器切换 CORE 推荐器（什么是 CORE？） 作者地点 机构 主题 关于 arXivLabs arXivLabs：与社区合作者的实验项目 arXivLabs 是一个允许合作者开发和共享新 arXiv 的框架直接在我们的网站上提供功能。与 arXivLabs 合作的个人和组织都接受并接受了我们开放、社区、卓越和用户数据隐私的价值观。 arXiv 致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。您有一个可以为 arXiv 社区增加价值的项目想法吗？了解有关 arXivLabs 的更多信息。这篇论文的哪些作者是认可者？ |禁用 MathJax（什么是 MathJax？）