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 sk5t on Saturday April 25, 2020 @09:46PM (#22983521)
FWIW the first practical application of input tainting that comes to mind is Perl's circa 2001, although I wouldn't be surprised to hear Smalltalk went there before.
[ Parent | on HN ]
Re:Formal Verification Creates Hacker-Proof Code (2016) by eesmith on Sunday April 26, 2020 @06:10AM (#22986014)
FWIW, perl3 circa 1990 - https://en.wikipedia.org/wiki/Taint_checking#History .
[ Parent | on HN ]
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 ]