[yababa_y]

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]

This is great and I'd also never seen this either -- thank you!