基于符号执行的Android原生代码控制流图提取方法
颜慧颖,周振吉,吴礼发,洪征,孙贺
Symbolic execution based control flow graph extraction method for Android native codes
Hui-ying YAN,Zhen-ji ZHOU,Li-fa WU,Zheng HONG,He SUN
网络与信息安全学报 . 2017, (7): 33 -46 .  DOI: 10.11959/j.issn.2096-109x.2017.00178