What if the code doesn't rely on undefined behavior? | Hacker News

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

		wmf on June 24, 2014 \| parent \| context \| favorite \| on: Sel4: We’re going open source What if the code doesn't rely on undefined behavior?

regehr on June 24, 2014 [–]

Absence of undefined behavior in the C implementation is of course one of the things covered by the seL4 proof.

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