Examiner: Automatically Locating Inconsistent Instructions Between Real Devices and CPU Emulators for ARM.