A Valgrind tool that watches arithmetic operations and signals suspicious events (integer overflow, cancellation, smearing, underflow, NaN result...).

Look at the User Guide for a more detailed description.

We have also realized a similar tool for Java: COJAC.

Our article in Dr Dobb's can be considered as the "white paper" of this project.

Developed at the School of Engineering of Fribourg, Switzerland.