一种抵抗符号执行的路径分支混淆技术
王志, 贾春福, 刘伟杰, 王晓初, 张海宁, 于晓旭, 陈喆
Branch Obfuscation to Combat Symbolic Execution
WANG Zhi, JIA Chun-fu, LIU Wei-jie, WANG Xiao-chu, ZHANG Hai-ning, YU Xiao-xu, CHEN Zhe
电子学报 . 2015, (5): 870 -878 .  DOI: 10.3969/j.issn.0372-2112.2015.05.006