News for hackers. Stuff that matters.

A comment on Hardening attack surfaces with formally proven binary format parsers. Parent comment

Re:Hardening attack surfaces with formally proven binary for... by zen_1 on Monday July 04, 2022 @09:37PM (#31983406)
Haven't you heard? The only bugs are those caused by memory safety, and only switching to Rust can save us from the insanity of managing our own memory.
[ Parent | on HN ]
Re:Hardening attack surfaces with formally proven binary for... by jnash on Tuesday July 05, 2022 @12:41AM (#31984386)
You are joking right? Just checking :)
[ Parent | on HN ]
Re:Hardening attack surfaces with formally proven binary for... by zen_1 on Tuesday July 05, 2022 @09:05AM (#31987735)
Yes, I was being quite sarcastic above
[ Parent | on HN ]