Even with your formal methods strawman, vulnerabilities like these are still pos... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		kgraves on March 7, 2022 \| parent \| context \| favorite \| on: The Dirty Pipe Vulnerability Even with your formal methods strawman, vulnerabilities like these are still possible in Linux and C. We need to move on.

freemint on March 7, 2022 [–]

You can formally verify C code against a spec though.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact