[dllthomas]

There are tools that let you do bounds checking statically, with varying degrees of headache. That would have precisely addressed heartbleed.