一句话：提出 EXAMINER，自动定位 ARM 真实设备与 CPU 模拟器之间行为不一致的指令。
CPU 模拟器因具备细粒度追踪、全系统监控和跨平台可扩展性，被广泛用于构建动态分析框架。然而，模拟器上的指令行为是否与真实设备一致仍不清楚。针对该问题，论文提出 EXAMINER，目标是在 ARM 平台上自动定位在模拟器与真实设备上行为不同的不一致指令。摘要重点阐述了这一研究动机与目标，但未披露具体的指令生成、执行对比或差异判定机制；评估方面也仅暗示需要在真实设备与模拟器之间进行行为比较。该工作若有效，将有助于提升基于模拟器的动态分析结果的可靠性，并揭示 ARM 模拟器的指令语义缺陷。
Emulators are widely used to build dynamic analysis frameworks due to its fine-grained tracing capability, full system monitoring functionality, and scalability of running on different operating systems and architectures. However, whether emulators are consistent with real devices is unknown. To understand this problem, we aim to automatically locate inconsistent instructions, which behave differently between emulators and real devices.
@inproceedings{abs-2105-14273,
title = {EXAMINER: automatically locating inconsistent instructions between real devices and CPU emulators for ARM},
author = {Muhui Jiang and Tianyi Xu and Yajin Zhou and Yufeng Hu and Ming Zhong and Lei Wu and Xiapu Luo and Kui Ren},
booktitle = {ASPLOS},
year = {2022},
doi = {10.1145/3503222.3507736}
}