On 4/11/2014 2:47 AM, bearophile wrote: > A nice blog post, about the Coverity scan not finding the Heartbleed > (http://heartbleed.com/) bug: > > http://blog.regehr.org/archives/1125 http://www.reddit.com/r/programming/comments/22ri2i/heartbleed_wasnt_found_by_static_analysis/