https://www.ece.cmu.edu/~ganger/712.fall02/papers/p761-thompson.pdf
Above is the “Trusting Trust” paper. He proves no code that you don’t create from scratch, including the compiler to build it, can’t be trusted. At some point, we have to use software we can not truly trust.
I’m so darned confused. :-)