Comment Re:It's a 2-way street (Score 3, Insightful) 172
Finite means there's only so many bugs in the code, once you fix them all, there are no more bugs to exploit.
And if you have this scanning capability, you can test the code before it's exposed to the general public as a release, minimizing future potential mishaps.