KCC is an executable, formal semantics for C that does something like that. Runt... | Hacker News

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

		nickpsecurity on March 24, 2018 \| parent \| context \| favorite \| on: C for All KCC is an executable, formal semantics for C that does something like that. Runtime Verification Inc uses it for their bug-hunting tools. https://github.com/kframework/c-semantics http://fsl.cs.illinois.edu/pubs/ellison-rosu-2012-popl.pdf

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