Cristina Cifuentes  Home/Search
Context Related
| uq.edu.au/~cristina/clei2.ps uq.edu.au/personal/cristina/clei2.ps uq.edu.au/~cristina/clei2.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uq.edu.au/csm/dcc (more) From: uq.edu.au/personal/cristin...pubs (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents a structuring algorithm for arbitrary reducible, unstructured graphs. Graphs are structured into semantically equivalent graphs, without the need of code replication or introduction of new variables. The algorithm makes use of structures such as, if..then..elses, while, repeat and loop loops, and case statements. Gotos are only used when the graph cannot be structured with any of the above constructs. This algorithm is adequate for the analysis needed in the decompilation... (Update)
Context of citations to this paper: More
...Any abnormal exits from these control structures make use of a goto statement. A detailed explanation of this algorithm can be found in [20]. The data flow analysis stage has not yet been implemented. Instead, code generation has been implemented to get a feel for the type of...
...for the purposes of compilation. More recently, Cifuentes has presented an algorithm for restructuring in the context of decompilation [Cif93] This work is similar in spirit to Baker s problem in that she only structures the parts of the program that correspond naturally to...
Cited by: More
Decompilation of Binary Programs - Cifuentes, Gough (1995) (Correct)
Interprocedural Data Flow Decompilation - Cifuentes (1996) (Correct)
A Goto-Elimination Method And Its Implementation For The McCat C.. - Erosa (1995) (Correct)
Active bibliography (related documents): More All
1.1: A Methodology for Decompilation - Cifuentes, Gough (1993) (Correct)
1.1: Structuring Decompiled Graphs - Cifuentes (1996) (Correct)
0.4: Reverse Compilation Techniques - Cifuentes (1994) (Correct)
Similar documents based on text: More All
0.3: Comparing Type-Based and Proof-Directed Decompilation - Mycroft, Ohori, Katsumata (2001) (Correct)
0.2: An Environment for the Reverse Engineering of Executable Programs - Cifuentes (1995) (Correct)
0.2: Krakatoa: Decompilation in Java (Does Bytecode Reveal Source?) - Proebsting, Watterson (1997) (Correct)
Related documents from co-citation: More All
5: Generating structured flow diagrams: The nature of unstructuredness (context) - Williams - 1977
5: An algorithm for structuring flowgraphs (context) - Baker - 1977
5: Compilers: Principles (context) - Aho, Sethi et al. - 1986
BibTeX entry: (Update)
Cristina Cifuentes. A structuring algorithm for decompilation. In Proceedings of the XIX Conferencia Latinoamericana de Informatica, pages 267--276, Buenos Aires, Argentina, August 1993. http://citeseer.ist.psu.edu/cifuentes93structuring.html More
@misc{ cifuentes93structuring,
author = "C. Cifuentes",
title = "A structuring algorithm for decompilation",
text = "Cristina Cifuentes. A structuring algorithm for decompilation. In Proceedings
of the XIX Conferencia Latinoamericana de Informatica, pages 267--276, Buenos
Aires, Argentina, August 1993.",
year = "1993",
url = "citeseer.ist.psu.edu/cifuentes93structuring.html" }
Citations (may not include all citations):405 Depth-first search and linear graph algorithms (context) - Tarjan - 1972
50 Testing flow graph reducibility (context) - Tarjan - 1974
38 Control flow analysis (context) - Allen - 1970
32 Global common subexpression elimination (context) - Cocke - 1970
30 An algorithm for structuring flowgraphs (context) - Baker - 1977
23 A simple algorithm for global data flow analysis problems (context) - Hecht, Ullman - 1975
14 Eliminating go to's while preserving program structure (context) - Ramshaw - 1988
11 Conversion of unstructured flow diagrams to structured form (context) - Williams, Ossher - 1978
11 A Study of Decompiling Machine Languages into High-Level Mac.. (context) - Housel - 1973
10 Structural analysis: A new approach to flow analysis in opti.. (context) - Sharir - 1980
8 A basis for program optimization (context) - Allen - 1972
6 Graph theoretic constructs for program control flow analysis (context) - Allen, Cocke - 1972
6 Analysis of structured programs (context) - Kosaraju - 1974
5 Restructuring pascal programs containing goto statements (context) - Williams, Chen - 1985
2 New York 10017: Elsevier North-Holland (context) - Hecht, of et al. - 1977
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.it.uq.edu.au/csm/dcc.html): More
A Methodology for Decompilation - Cifuentes, Gough (1993) (Correct)
Structuring Decompiled Graphs - Cifuentes (1996) (Correct)
Reverse Compilation Techniques - Cifuentes (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC