Good point, verifying a disassembled binary wouldn't exhaustively prove the compiler is safe.
A tech news sub for communists
Good point, verifying a disassembled binary wouldn't exhaustively prove the compiler is safe.