paperbot · PL 论文追踪

全部论文 待读 收藏

P2 An empirical study on ARM disassembly tools

ARM 反汇编工具的实证研究
ISSTA Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis2020匹配度 3/10 · 该论文是ARM反汇编工具的纯静态分析实证研究,与用户关注的PL与AI/LLM交叉方向(如LLM辅助静态分析、Agentic程序分析、浮点程序分析)无直接关联,仅属于广义静态分析工具评估。引用 37 inbox
Muhui Jiang, Yajin Zhou, Xiapu Luo, Ruoyu Wang, Yang Liu, Kui Ren
crossref: 2026-09-12

AI 速览

一句话:对 ARM 反汇编工具进行实证评估,检验反汇编与函数识别可靠性这一隐含假设是否成立。

随着 ARM 成为嵌入式设备的主导架构,针对这些设备的安全评估常依赖现成工具反汇编 stripped ARM 二进制,并隐含假设反汇编与函数识别已是可靠解决的问题。然而该假设是否成立尚不清楚。本文围绕 ARM 反汇编工具开展实证研究,考察其在反汇编与函数识别任务上的表现,以检验上述假设在真实分析场景中的有效性。摘要未给出具体实验数据与结论,但该研究为理解现有 ARM 反汇编工具的可靠性、指导工具选择及后续改进提供了实证基础。

问题
现有 ARM 二进制静态分析工作隐含假设反汇编工具能可靠完成 stripped 二进制的反汇编与函数识别,但该假设缺乏实证检验。
方法
对现成 ARM 反汇编工具进行实证研究,考察其在反汇编和函数识别任务上的可靠性。
评估
通过实验评估工具表现以检验上述假设;摘要未报告具体指标与结果。
原文摘要(Abstract)

With the increasing popularity of embedded devices, ARM is becoming the dominant architecture for them. In the meanwhile, there is a pressing need to perform security assessments for these devices. Due to different types of peripherals, it is challenging to dynamically run the firmware of these devices in an emulated environment. Therefore, the static analysis is still commonly used. Existing work usually leverages off-the-shelf tools to disassemble stripped ARM binaries and (implicitly) assume that reliable disassembling binaries and function recognition are solved problems. However, whether this assumption really holds is unknown.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot6056,
  title = {An empirical study on ARM disassembly tools},
  author = {Muhui Jiang and Yajin Zhou and Xiapu Luo and Ruoyu Wang and Yang Liu and Kui Ren},
  booktitle = {ISSTA},
  year = {2020},
  doi = {10.1145/3395363.3397377}
}