Control Flow Analysis
Program-Transformation.Org: The Program Transformation Wiki
Control flow analysis in decompilation convert conditional and
non-conditional jump instructions into high-level language control
constructs such as if/else, while and switch/case.
-- DavidEriksson - 28 May 2002