Understanding integer overflow in C/C++
Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs