libsafeint-dev - 3.0.28a+dfsg-4 main

SafeInt is a class library for C++ that manages integer overflows. It also
includes a C library that checks casting, multiplication, division, addition
and subtraction for all combinations of signed and unsigned 32-bit and 64-bit
integers.