HAIT: Heap Analyzer with Input Tracing. - Andrea S. Atzeni; Andrea Marcelli; Francesco Muroni; Giovanni Squillero (SECRYPT, 2017)