You're likely thinking of Miri, a sanitiser. It's not a proof solver, but it screams to high heaven about this code nonetheless. https://github.com/oven-sh/bun

You're likely thinking of Miri, a sanitiser. It's not a proof solver, but it screams to high heaven about this code nonetheless. https://github.com/oven-sh/bun/issues/30719 https://github.com/oven-sh/bun/issues/30719