There are some very interesting surveys and studies that suggest otherwise. Undefined behaviour due to integer overflow seems to be very common. http://www.cs.

There are some very interesting surveys and studies that suggest otherwise. Undefined behaviour due to integer overflow seems to be very common. http://www.cs.utah.edu/~peterlee/papers/tosem15.pdf http://www.cs.utah.edu/~peterlee/papers/tosem15.pdf