Dietz, Li, Regehr, Adve, 2012. Understanding integer overflow in C/C++, in: . IEEE.. https://doi.org/10.1109/icse.2012.6227142