It's much easier to verify the source of a program once, and then verify the future changes to the source code with the aid of a diff. With a binary, a change c

It's much easier to verify the source of a program once, and then verify the future changes to the source code with the aid of a diff. With a binary, a change can result in a very different binary that takes a lot of effort comparable to the original verification all over again.