Targeted Automatic Integer Overflow Discovery [pdf]people.csail.mit.edu5 points·risk··0 commentsOpen articleSaveView on HN