EXAMINER: Automatically Locating Inconsistent Instructions between Real Devices and CPU Emulators for ARM

The 27th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2022)