Understanding integer overflow in C/C++
Valgrind: A Program Supervision Framework