Adding Optimization to the Decompilable Code Editor
作者： Samir Ribic , Adnan Salihbegovic
关键词: Dead code 、 Code generation 、 Redundant code 、 Code bloat 、 Unreachable code 、 Threaded code 、 Object code 、 Source code 、 Programming language 、 Computer science
摘要: The authors of this paper recently researched the possibility developing programming language implementation, that is neither compiler, nor interpreter. concept based on keeping complete program in native machine code, but specialized editor can 'on fly' decompile code and display it as high level language. displayed be edited saved again pure code. This reviews optimizing generated while still retaining decompilation. We found many important sequences which replaced with shorter ones decompilable executable format.
computer.org
sci-hub.se 参考文章(11)
Michael Van Emmerik, Static Single Assignment for Decompilation ,(2007)
Eldad Eilam, Reversing: Secrets of Reverse Engineering ,(2005)
Mads Sig Ager, Olivier Danvy, Mayer Goldberg, A Symmetric Approach to Compilation and Decompilation Lecture Notes in Computer Science. pp. 296- 331 ,(2002) , 10.1007/3-540-36377-7_14
Linda Torczon, Keith Cooper, Engineering a Compiler ,(2003)
Samir Ribic, None, Concept and implementation of the programming language and translator, for embedded systems, based on machine code decompilation and equivalence between source and executable code working conference on reverse engineering. pp. 307- 308 ,(2006) , 10.1109/WCRE.2006.20
M.V. Emmerik, T. Waddington, Using a decompiler for real-world source recovery working conference on reverse engineering. pp. 27- 36 ,(2004) , 10.1109/WCRE.2004.42
Samir Ribic, Adnan Salihbegovic, High Level Language Translator with Machine Code as Representation of the Source Code information technology interfaces. pp. 777- 782 ,(2007) , 10.1109/ITI.2007.4283870
Cristina Cifuentes, Reverse compilation techniques Queensland University of Technology. ,(1994)
Zohar Manna, Nikolaj Bjørner, Anca Browne, Edward Chang, Michael Colón, Luca Alfaro, Harish Devarajan, Arjun Kapur, Jaejin Lee, Henny Sipma, Tomás Uribe, STeP: The Stanford Temporal Prover colloquium on trees in algebra and programming. pp. 793- 794 ,(1995) , 10.1007/3-540-59293-8_237
Kogge, An Architectural Trail to Threaded-Code Systems IEEE Computer. ,vol. 15, pp. 22- 32 ,(1982) , 10.1109/MC.1982.1653970