Heartbleed and static analysis

[Michel Fortin]

On 2014-04-13 08:55:53 +0000, "Paolo Invernizzi" 
<paolo.invernizzi at no.address> said:

> I don't remember if this has been already posted here in the forum, but 
> I think that this rant of Theo de Raadt about heartbleed is _very_ 
> interesting.
> 
> http://article.gmane.org/gmane.os.openbsd.misc/211963
> 
> TBW, I agree with him: it's not a matter of scrutiny or a matter of 
> being human, and the post clarify this very well.

Interesting. As far as I know, the D GC is also a wrapper around 
malloc, and it will not return memory using free when an object is 
deallocated. That rant could also apply to D.

-- 
Michel Fortin
michel.fortin at michelf.ca
http://michelf.ca