News for hackers. Stuff that matters.

A comment on Formal Verification Creates Hacker-Proof Code (2016). Parent comment

Re:Formal Verification Creates Hacker-Proof Code (2016) by rurban on Monday April 27, 2020 @02:58AM (#22993550)
Yeah, but with holes. Eg affecting Bugzilla. Only closed 2018 in cperl (hash keys). perl5 never cared to close its taint holes.
[ Parent | on HN ]

There are no comments on this comment yet.