Understanding integer overflow in C/C++
LLVM: a compilation framework for lifelong program analysis & transformation