How can you be sure that the machine code that was generated from your C source files actually match the behaviour encoded in them? https://www.cs.cmu.edu/~rdr

How can you be sure that the machine code that was generated from your C source files actually match the behaviour encoded in them? https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_ReflectionsonTrustingTrust.pdf https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_Ref...