Targeted Automatic Integer Overflow Discovery [pdf] · HackerTrans