27 Sep
2014
27 Sep
'14
6:20 p.m.
On Sep 27, 2014, at 18:36, Chuck Guzis <cclist at sydex.com> wrote:
Witness, for example, the 25-year-or-so just-discovered vulnerability bug in bash. Used
in millions of computers. It probably wasn't considered a bug 25 years ago, given
that there was no way to exploit it.
And I doubt any algorithmic proof of correctness would
have caught it, either.
- Dave