
Integer overflows are one of the most common bugs in computer programs — not only causing programs to crash but, even worse, potentially offering points of attack for malicious hackers. Computer scientists have devised a battery of techniques to identify them, but all have drawbacks.
http://feeds.sciencedaily.com/~r/sciencedaily/~3/ehnX51oup2Q/150323182552.htm