Computer programming: System automatically finds common type of programming bug

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.

Story added 23. March 2015, content source with full text you can find at link above.