SemDiff: Finding Semtic Differences in Binary Programs based on Angr Shi-Chao Wang, Chu-Lei Liu, Yao Li and Wei-Yang Xu ITM Web Conf., 12 (2017) 03029 Published online: 05 September 2017 DOI: 10.1051/itmconf/20171203029