EXAMINER: automatically locating inconsistent instructions between real devices and CPU emulators for ARM-Reference-Cited by-同舟云学术

EXAMINER: automatically locating inconsistent instructions between real devices and CPU emulators for ARM

Published:2022-02-22 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems
language:
Short-container-title:

Author:

Jiang Muhui¹,Xu Tianyi²,Zhou Yajin²,Hu Yufeng²,Zhong Ming²,Wu Lei²,Luo Xiapu¹,Ren Kui²

Affiliation:

1. Hong Kong Polytechnic University, China

2. Zhejiang University, China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3503222.3507736

Reference67 articles.

1. 64 Bit Juno r2 ARM® Development Platform. https://developer.arm.com/-/media/Arm%20Developer%20Community/PDF/Juno%20r2%20datasheet.pdf 64 Bit Juno r2 ARM® Development Platform. https://developer.arm.com/-/media/Arm%20Developer%20Community/PDF/Juno%20r2%20datasheet.pdf

2. AFL QEMU Mode: high-performance binary-only instrumentation for afl-fuzz. https://github.com/google/afl/tree/master/qemu_mode AFL QEMU Mode: high-performance binary-only instrumentation for afl-fuzz. https://github.com/google/afl/tree/master/qemu_mode

3. Angr. https://angr.io/ Angr. https://angr.io/

4. ARM Exploration tools. https://developer.arm.com/architectures/cpu-architecture/a-profile/exploration-tools ARM Exploration tools. https://developer.arm.com/architectures/cpu-architecture/a-profile/exploration-tools

5. ARM SIMD Instructions. https://developer.arm.com/documentation/dht0002/a/Introducing-NEON/What-is-SIMD-/ARM-SIMD-instructions ARM SIMD Instructions. https://developer.arm.com/documentation/dht0002/a/Introducing-NEON/What-is-SIMD-/ARM-SIMD-instructions

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The progress, challenges, and perspectives of directed greybox fuzzing;Software Testing, Verification and Reliability;2023-12-14

2. A High-Coverage and Efficient Instruction-Level Testing Approach for x86 Processors;IEEE Transactions on Computers;2023-11

3. WADIFF: A Differential Testing Framework for WebAssembly Runtimes;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

4. A Survey and Evaluation of Android-Based Malware Evasion Techniques and Detection Frameworks;Information;2023-06-30