corpus.blog
41,832 blogs · 5,239,565 posts Claim your blog
Record · corpus.blog/posts/01a0ffda-27ae-719f-a176-6f183e9df7f5

Heartbleed and Static Analysis

John Regehr · published 11 April 2014

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at blog.regehr.org Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
27
Words captured
919

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://scan.coverity.com/
scan.coverity.com
http://blog.cryptographyengineering.com/2014/04/attack-of-week-openssl-heartbleed.html
blog.cryptographyengineering.com
https://scan.coverity.com/models
scan.coverity.com
http://frama-c.com/value.html
frama-c.com
http://cacm.acm.org/magazines/2010/2/69354-a-few-billion-lines-of-code-later/fulltext
cacm.acm.org
http://git.openssl.org/gitweb/?p=openssl.git;a=blob;f=ssl/t1_lib.c;h=33afdeba33e5def24274e8d0ca39c5e18809bfc6;hb=0d8776344cd7965fadd870e361503985df9c45bb
git.openssl.org
http://trust-in-soft.com/no-more-heartbleed/
trust-in-soft.com
http://cwe.mitre.org/data/definitions/119.html
cwe.mitre.org
http://cwe.mitre.org/data/definitions/120.html
cwe.mitre.org
http://cwe.mitre.org/data/definitions/121.html
cwe.mitre.org
http://cwe.mitre.org/data/definitions/122.html
cwe.mitre.org
http://cwe.mitre.org/data/definitions/123.html
cwe.mitre.org
http://cwe.mitre.org/data/definitions/124.html
cwe.mitre.org
http://cwe.mitre.org/data/definitions/125.html
cwe.mitre.org
http://cwe.mitre.org/data/definitions/126.html
cwe.mitre.org
http://cwe.mitre.org/data/definitions/127.html
cwe.mitre.org
http://cwe.mitre.org/data/definitions/369.html
cwe.mitre.org
http://cwe.mitre.org/data/definitions/415.html
cwe.mitre.org
http://cwe.mitre.org/data/definitions/416.html
cwe.mitre.org
http://cwe.mitre.org/data/definitions/457.html
cwe.mitre.org
http://cwe.mitre.org/data/definitions/562.html
cwe.mitre.org
http://cwe.mitre.org/data/definitions/690.html
cwe.mitre.org
http://frama-c.com/download/acsl_1.8.pdf
frama-c.com
http://www.tedunangst.com/flak/post/analysis-of-openssl-freelist-reuse
tedunangst.com
https://news.ycombinator.com/item?id=7572465
news.ycombinator.com
https://news.ycombinator.com/item?id=7571506
news.ycombinator.com
http://www.reddit.com/r/programming/comments/22ri2i/heartbleed_wasnt_found_by_static_analysis/
reddit.com
Elsewhere on blog.regehr.org (1)