Transformation and Abstraction to Aid Comparison of Binary Executables Across Compilation Environments