SemDiff: Finding Semtic Differences in Binary Programs based on AngrShi-Chao Wang, Chu-Lei Liu, Yao Li and Wei-Yang XuITM Web Conf., 12 (2017) 03029DOI: https://doi.org/10.1051/itmconf/20171203029