Show HN: Xr0 is a Static Debugger for C

2 years ago (xr0.dev)

A UB library without unsigned support seems extremely weird to me. That would be the thing I would start with