News for hackers. Stuff that matters.

A comment on C for All. Parent comment

Re:C for All by saagarjha on Friday March 23, 2018 @03:44PM (#16661941)
Which would be essentially impossible for any language like C.
[ Parent | on HN ]
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 ]