News for hackers. Stuff that matters.
Re:Formal Verification Creates Hacker-Proof Code by nabla9 on Friday October 21, 2016 @01:07PM (#12762281)
It would have to be kind of fixed point of bugs (like finding cryptographic hash that equal to the input value). It wold be incredibly unlikely.

There are no comments on this comment yet.