一种面向程序动态分析的循环摘要生成方法
聂楚江, 刘海峰, 苏璞睿, 冯登国
A Loop Summarization Method for Dynamic Binary Program Analysis
NIE Chu-jiang, LIU Hai-feng, SU Pu-rui, FENG Deng-guo
电子学报 . 2014, (6): 1110 -1117 .  DOI: 10.3969/j.issn.0372-2112.2014.06.012