Coverity has been improved so that it now detects Heartbleed and similar defects via static analysis: http://security.coverity.com/blog/2014/Apr/on-detecting-h

Coverity has been improved so that it now detects Heartbleed and similar defects via static analysis: http://security.coverity.com/blog/2014/Apr/on-detecting-heartbleed-with-static-analysis.html http://security.coverity.com/blog/2014/Apr/on-detecting-hear...