Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
sk5t
on April 26, 2020
|
parent
|
context
|
favorite
| on:
Formal Verification Creates Hacker-Proof Code (201...
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.
eesmith
on April 26, 2020
[–]
FWIW, perl3 circa 1990 -
https://en.wikipedia.org/wiki/Taint_checking#History
.
rurban
on April 27, 2020
|
parent
[–]
Yeah, but with holes. Eg affecting Bugzilla. Only closed 2018 in cperl (hash keys). perl5 never cared to close its taint holes.
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
