"No More Gotos: Decompilation Using Pattern-Independent Control-Flow Structuring and Semantics-Preserving Transformations" deserves a look: http://www.internets

"No More Gotos: Decompilation Using Pattern-Independent Control-Flow Structuring and Semantics-Preserving Transformations" deserves a look: http://www.internetsociety.org/doc/no-more-gotos-decompilation-using-pattern-independent-control-flow-structuring-and-semantics http://www.internetsociety.org/doc/no-more-gotos-decompilati... Pattern-independent structuring (from the above paper) is implemented by fcd, an LLVM-based native program optimizing decompiler: https://github.com/zneak/fcd/ https://github.com/zneak/fcd/ Related blog posts have some details and examples: - http://zneak.github.io/fcd/2016/02/24/seseloop.html http://zneak.github.io/fcd/2016/02/24/seseloop.html - http://zneak.github.io/fcd/2016/02/17/structuring.html http://zneak.github.io/fcd/2016/02/17/structuring.html - http://zneak.github.io/fcd/2016/02/21/csaw-wyvern.html http://zneak.github.io/fcd/2016/02/21/csaw-wyvern.html