News for hackers. Stuff that matters.

A comment on C for All. Parent comment

Re:C for All by nickpsecurity on Saturday March 24, 2018 @12:49AM (#16664933)
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

[ Parent | on HN ]

There are no comments on this comment yet.