Hyun-Il Lim: Comparing Control Flow Graphs of Binary Programs through Match Propagation. COMPSAC 2014: 598-599