Record · corpus.blog/posts/01a087a9-7e7f-73bd-bdd7-c20d4927473c

How to add a million bugs to a program (and why you might want to)

Push the Red Button · published 7 June 2016

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 moyix.blogspot.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 21
Words captured: 1,496

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

http://www.ieee-security.org/TC/SP2016/papers/0824a110.pdf

ieee-security.org

https://www.blogger.com/blogger.g?blogID=6787362638788314904

blogger.com

http://programmers.stackexchange.com/a/91764

programmers.stackexchange.com

http://coralogix.com/this-is-what-your-developers-are-doing-75-of-the-time-and-this-is-the-cost-you-pay/

coralogix.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhwiFIrJMdSmvC_O888As28srR0ptT7NToAKt3AfnZAWALlSgvpX0k3Bm2NkWdLphtuyyk9MUTDY84OhK3exeO-OEjvmtNXGminMdaNJ7GBa9CIMVwyVwzsYdmtp7amGdPXuruJa_FPE6Aa/s1600/Computer_bomb.jpg

blogger.googleusercontent.com

http://llvm.org/pubs/2008-12-OSDI-KLEE.pdf

llvm.org

http://link.springer.com/chapter/10.1007%2F3-540-10003-2_69

link.springer.com

http://www.di.ens.fr/~cousot/publications.www/CousotCousot-POPL-77-ACM-p238--252-1977.pdf

di.ens.fr

https://www.internetsociety.org/sites/default/files/blogs-media/driller-augmenting-fuzzing-through-selective-symbolic-execution.pdf

internetsociety.org

http://www.coverity.com/

coverity.com

http://www8.hp.com/us/en/software-solutions/application-security/

www8.hp.com

http://www.veracode.com/

veracode.com

http://www.klocwork.com/

klocwork.com

http://www.grammatech.com/

grammatech.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEh2pDTTxnMgAcmDexmjz9gbgt_CYBFk0T1zXbC2Duqg5d-DK7a16czklds_tYSGtJIAZ3uZrpCZ04voe67Gb2FdGiYlhyphenhyphenKKGCX8a9EFHPwFiqCqVTA93cedwE8h8E8h7InaWAIckR-zFUxN/s1600/heartbleed.png

blogger.googleusercontent.com

Heartbleed, major bug in OpenSSL

heartbleed.com

http://security.coverity.com/blog/2014/Apr/on-detecting-heartbleed-with-static-analysis.html

security.coverity.com

http://blogs.grammatech.com/finding-heartbleed-with-codesonar

blogs.grammatech.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEirUJDlohp69d9VQa0Yy-FofEizZsgvNqkfU8ETMW8rLgQ2PPtJtluE0lUCaKozda-uD72OiyeVY3S-os4m9aLUyycu-TZm0AIw4_JcDR7ikNYDuaz-qagIrL8w2Koymalfj1UqA2ubDPYb/s1600/lavalogo.png

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgpeQEZCVUkKIP_iUYriAM5PO9smxkIriLiEdu9c-xaB9MvrilBgK1Cp3Xtg0PSEcyI_TtlcqUpiiAfCEaVUnVi3kJXMzYcHqHgWxYyITLkGLrx9mhyjFnJqMytp8LUTGmo77zNr5c47dbl/s1600/Screenshot+2016-06-07+00.48.16.png

blogger.googleusercontent.com

https://freedom-to-tinker.com/blog/felten/the-linux-backdoor-attempt-of-2003/

freedom-to-tinker.com