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