New algorithms for control-flow graph structuring

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR

Volumn , Issue , 2001, Pages 184-187

  Moretti, Eric ^a   Chanteperdrix, Gilles ^a   Osorio, Angel ^b  

^a RENAULT   (France)

^b CNRS   (France)

Author keywords

Control flow; Decompiler; Graph theory; Intervals; Structuring algorithm

Indexed keywords

CONTROL FLOW ANALYSIS; CONTROL FLOW GRAPHS; STRUCTURING ALGORITHMS;

ALGORITHMS; BOOLEAN FUNCTIONS; COMPUTER ARCHITECTURE; EMBEDDED SYSTEMS; FLOWCHARTING; GRAPH THEORY; HIGH LEVEL LANGUAGES; PROGRAM COMPILERS; REAL TIME SYSTEMS; SOFTWARE ENGINEERING;

DATA FLOW ANALYSIS;

EID: 0035784361     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR.2001.914984     Document Type: Conference Paper

References (12)

1. F.E. Allen. Control flow analysis. SIGPLAN Notices, 5(7):1-19, July 1970.
2. R.E. Tarjan. Depth-first scarch and linear graph algorithms. SIAM Journal of Computing, pp. 146-160, June 1972.
3. F.E. Allen and J. Cocke. Graph theoretic constructs for program control flow analysis. Technical Report RC 3923 (No. 17789), IBM, Thomas J. Watson Research Center, New York, July 1972.
4. R.E. Tarjan. Testing flow graph reducibility. Journal of Computer and System Sciences, pp. 355-365, September 1974.
5. B.S. Baker. An algorithm for structuring flowgraphs. Journal of the ACM, 24(1):98-120, January 1977.
6. U. Lichtblau. Decompilation of control structures by means of graph transformations. In Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, 1985.
7. P.T. Breuer and J.P.Bowen. Decompilation: the enumeration of types and grammars. Tech. Rep. PRG-TR-11-92, Oxford University Computing Laboratory, Oxford, 1992.
8. C. Cifuentes. Reverse compilation techniques. PhD Thesis, Queensland University of Technology, July 1994.
9. C. Cifuentes and K.J. Gough. Decompilation of binary programs. Software - Practice and Experience, 25(7):811-829, July 1995.
10. C. Cifuentes, D. Simon and A. Fraboulet. Assembly to high-level language translation. Technical Report, University of Queensland, August 1998.
11. M. Van den Brand, A. Sellink and C. Verhoef. Control Flow Normalization for COBOL/CICS Legacy System. In Proceedings of the 2nd Euromicro Conference on Software Maintenance and Reengineering, 1998.
12. A. Sellink, H. Sneed and C. Verhoef. Restructuring of COBOL/CICS Legacy Systems. In Proceedings of the 3rd Euromicro Conference on Software Maintenance and Reengineering, 1999.