A Constraint-based Analysis Method to Simplify Control Flow Graph
LI Jin-nuo
Computer and Modernization . 2013, (10): 55 -61 .  DOI: 10.3969/j.issn.1006-2475.2013.10.015