It's worth noting (and the paper does go into this) that this is limited to a very specific subset of UB, which they call "guardable." They are not removing UB

It's worth noting (and the paper does go into this) that this is limited to a very specific subset of UB, which they call "guardable." They are not removing UB around things like out-of-bounds or use-after-free, which would likely be more expensive.