3 ms·
https://github.com/kframework/c-semantics https://github.com/kframework/c-semantics while you can do static analysis with this the dynamic instrumentation of UB
by yababa_y 4y ago
https://github.com/kframework/c-semantics https://github.com/kframework/c-semantics while you can do static analysis with this the dynamic instrumentation of UB isnfar more thorough than ubsan
- gavinray 4y agoThis is great and I'd also never seen this either -- thank you!