Augmenting vulnerability analysis of binary code. - Sean Heelan; Agustin Gianni (ACSAC, 2012)