Cross-Architecture Comparison of Binary Executables