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/
