News for hackers. Stuff that matters.
Re:The Case for Formal Verification (2013) by vertex-four on Monday April 21, 2014 @11:33AM (#7621552)
> I think someone forgot to put brackets around an if statement that contained two expressions

That was Apple's goto fail. Heartbleed was caused by out of bounds memory access.

There are no comments on this comment yet.