CompCert has had bugs in its C compilation before, for instance because the asse... | Hacker News

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

astrange on Sept 27, 2023 | parent | context | favorite | on: A gentle introduction to static analyzers for C

CompCert has had bugs in its C compilation before, for instance because the assembly to binary translation wasn't verified.

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