3 ms·
On that last point, check out Rosu et al's KCC: an executable, formal semantics of C that addresses undefined behavior. https://github.com/kframework/c-semanti
by nickpsecurity 9y ago
On that last point, check out Rosu et al's KCC: an executable, formal semantics of C that addresses undefined behavior.
https://github.com/kframework/c-semantics/blob/master/README.md https://github.com/kframework/c-semantics/blob/master/README...