Heartbleed and Static Analysis – Embedded in Academia - discu.eu

Hacker News

Heartbleed and Static Analysis http://blog.regehr.org/archives/1125 36 comments 11/4/2014

Reddit

Heartbleed wasn't found by Static Analysis http://blog.regehr.org/archives/1125 108 comments 11/4/2014 programming

Linking pages

Aaron Tomb on crowd-sourced formal verification - Machine Intelligence Research Institute http://intelligence.org/2014/05/29/aaron-tomb/ 0 comments

Related searches:

Search whole site: site:blog.regehr.org

Search title: Heartbleed and Static Analysis – Embedded in Academia

See how to search.

Submit link to: