5 ms·

But how do you verify that the compiler produces the code you wanted it to create? But how do you verify that the Computer actually does what is in the Bytecod

• negus 10y ago
  "But how do you verify that the compiler produces the code you wanted it to create?" You open it in disassembler and look through. It's a white box. "But how do you verify that the Computer actually does what is in the Bytecode?" It is much closer to the original question. hardware backdoors is a difficult topic