> (with gaping security holes / processes)
The problem is that you're assuming you can prove a program doesn't having security holes and bad processes.
The problem is that you're assuming you can prove a program doesn't having security holes and bad processes.