Heartbleed and static analysis

[bearophile]

A nice blog post, about the Coverity scan not finding the 
Heartbleed (http://heartbleed.com/) bug:

http://blog.regehr.org/archives/1125
Bye,
bearophile