TLDR: Take 2 compilers you trust, compile the program that you need to trust, then compare each byte. Article Archive