There is, e.g.:

https://github.com/dcleblanc/SafeInt

But IMO something like this should be a language thing, just so that it's not substantially harder or more verbose to use operators with explicit wraparound or trap.

What we need is a winner in the C++ package manager wars, then adding such dependencies wouldn't be such a big issue.