Cross Architecture Bug Search in Binary Executables