"For example, GCC has assembler output. You can easily verify assembly" Ah but it is not as easy as you think. Let's put it this way: how did you compile wha

"For example, GCC has assembler output. You can easily verify assembly" Ah but it is not as easy as you think. Let's put it this way: how did you compile whatever software you are using to verify that assembly dump? Even if you were to examine binary outputs you would need to trust the tools you are using. You also need to trust your kernel, which might just have you open a file that looks innocent while executing a file that is infected.