一种基于约束分析精简控制流图方法
李金诺
A Constraint-based Analysis Method to Simplify Control Flow Graph
LI Jin-nuo
计算机与现代化 . 2013, (10): 55 -61 .  DOI: 10.3969/j.issn.1006-2475.2013.10.015