Structuring Decompiled Graphs (1996)

Cached

Download Links

by Cristina Cifuentes
Venue:In Proceedings of the International Conference on Compiler Construction
Citations:21 - 6 self

Active Bibliography

8 A Structuring Algorithm for Decompilation – Cristina Cifuentes - 1993
Maverick Woo – Edward J. Schwartz, Jonghyup Lee, David Brumley
86 Decompilation of Binary Programs – Cristina Cifuentes, K. John Gough - 1995
7 Using hammock graphs to structure programs – Fubo Zhang, Erik H. D’Hollander - 2004
7 A Formal, Language-Independent, and Compositional Approach to Interprocedural Control Dependence Analysis – Judith A. Stafford - 2000
3 SETL for Internet Data Processing – David Bacon - 2000
27 Assembly to High-Level Language Translation – Cristina Cifuentes, Doug Simon, Antoine Fraboulet - 1998
53 Elimination algorithms for data flow analysis – Barbara G. Ryder, Marvin C. Paull - 1986
Extracting the Parallelism in Program with non-structured statements – Fubo Zhang, Erik H. D'Hollander - 1994
The Böhm–Jacopini Theorem is False, Propositionally – Dexter Kozen, Wei-lung Dustin Tseng
12 From Business Process Models to Process-oriented Software Systems: The BPMN to BPEL Way ⋆ – Chun Ouyang, Marlon Dumas, Arthur H. M. Ter Hofstede
5 A Methodology for Decompilation – Cristina Cifuentes, K. John Gough - 1993
unknown title – R. M. Hierons, M. Harman, C. J. Fox
2 A Goto-Elimination Method And Its Implementation For The McCat C Compiler – Ana Maria Erosa - 1995
43 Taming Control Flow: A Structured Approach to Eliminating Goto Statements – Ana Erosa, Laurie J. Hendren - 1994
15 Making Graphs Reducible with Controlled Node Splitting – Johan Janssen, Henk Corporaal - 1997
1 Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions ∗ – Nerina Bermudo, Andreas Krall
34 Intraprocedural Static Slicing of Binary Executables – Cristina Cifuentes, Antoine Fraboulet - 1997
5 Folklore Confirmed: Reducible Flow Graphs are Exponentially Larger – Larry Carter, Jeanne Ferrante, Clark Thomborson - 2003