Comment on Ask HN: Would any code analysis tools have caught have caught heartbleed? Comments−cpeterso12yThis blog post demonstrates how OpenSSL's unsafe C code can be migrated to a safe programming language called ATS (Applied Type System):http://bluishcoder.co.nz/2014/04/11/preventing-heartbleed-bu...
Comments
This blog post demonstrates how OpenSSL's unsafe C code can be migrated to a safe programming language called ATS (Applied Type System):
http://bluishcoder.co.nz/2014/04/11/preventing-heartbleed-bu...