Hacker News new | ask | show | jobs
by uecker 433 days ago
It is not terribly hard to generate C code that does not use undefined behavior.
1 comments
lmm 433 days ago
Maybe. But when carefully investigated, the overwhelming majority of C code does in fact use undefined behaviour, and there is no practical way to verify that any given code doesn't.
link
uecker 432 days ago
It is easy to create code where this can be verified. It is difficult to verify for arbitrary code.
link