Yes, I do not trust my understanding of C. Which is why I want mechanized assist... | Hacker News

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

philzook on Jan 30, 2024 | parent | context | favorite | on: The C bounded model checker: criminally underused

Yes, I do not trust my understanding of C. Which is why I want mechanized assistance.

philzook on Jan 30, 2024 [–]

I apologize for using the word subtle. What I should have said is I don't understand the topic and reading about it has left me a sense that one should be very careful.

jacquesm on Jan 31, 2024 | [–]

You're spot on. The CVE lists are filled with people who thought they understood this stuff better than they really did.

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