Hacker News new | ask | show | jobs
by namjh 667 days ago
Do we have a better method of verifying compilation output than just re-executing the compiler with same source, than comparing the output? TEE attestation could be a thing(albeit it could be a "trusted" third party which occasionally be broken).
1 comments

Diverse double-compiling (DDC) can help.