2 ms·
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/kf
by nickpsecurity 9y ago
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 https://github.com/kframework/c-semantics
http://fsl.cs.illinois.edu/pubs/ellison-rosu-2012-popl.pdf http://fsl.cs.illinois.edu/pubs/ellison-rosu-2012-popl.pdf