Design and implementation of the decompiler for virtual machine code of the C++ compiler in the ubiquitous game platform

被引:0
|
作者
Lee, YangSun [1 ]
Kim, YoungKeun [1 ]
Kwon, HyeokJu [1 ]
机构
[1] SeoKyeong Univ, Dept Comp Engn, Seoul 136704, South Korea
来源
关键词
decompiler; virtual machine code; C plus plus compiler;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The ubiquitous game platform implemented by our team is composed of a C++ compiler, a, java translator, arid a virtual machine. The EVM (Embedded Virtual Machine) is a stack-based solution that supports object-oriented languages such as C++ and java. It uses the SIL (Standard Intermediate Language) as an intermediate language, which consists of an operation code set for procedural and object-oriented languages. The existing C++ compilers are used to execute programs after translating them into a target machine code. The downside of this method is its low practicality, along with its platform-dependency. To resolve this matter, we developed a C++ compiler that generates virtual machine codes based on platform-independent stacks that are not target machine codes. This paper presents a decompiler system that converts a C++ compiler generated intermediate language, namely SIL, to a representation of a C++ program. This method optimizes the simulation needed for the generation of exacted SIL code, and a solution that can verify the SIL code generation through a C++ program represented in the decompiler. Furthermore, the ease of extracting the meaning of a program, as opposed to assembly-structured SIL codes, allows much more convenience in changing the software structure and correcting it to improve performance.
引用
下载
收藏
页码:511 / 521
页数:11
相关论文
共 50 条
  • [21] Design and Implementation of a Virtual Laboratory for Machine Dynamics
    Aziz, El-Sayed
    Esche, Sven K.
    Chassapis, Constantin
    INTERNATIONAL JOURNAL OF ONLINE ENGINEERING, 2010, 6 (02) : 15 - 24
  • [22] Design and implementation of a virtual ARINC 653 simulation platform
    Chen, Jinchao
    Chen, Keke
    Du, Chenglie
    Liu, Yifan
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2021, 97 (06): : 427 - 436
  • [23] DESIGN AND IMPLEMENTATION ASPECTS OF AN EXPERIMENTAL C++ PROGRAMMING ENVIRONMENT
    SAMETINGER, J
    SCHIFFER, S
    SOFTWARE-PRACTICE & EXPERIENCE, 1995, 25 (02): : 111 - 128
  • [24] An efficient tool for recovering Design Patterns from C++ Code
    Vokac, Marek
    JOURNAL OF OBJECT TECHNOLOGY, 2006, 5 (01): : 139 - 157
  • [25] Design on Virtual Machine Frame of Cloud Computing Platform
    Wu Jing
    Zhao Fengzhi
    Dong Yudan
    RESEARCH IN MATERIALS AND MANUFACTURING TECHNOLOGIES, PTS 1-3, 2014, 835-836 : 1832 - 1835
  • [26] Design and Implementation of Tanks War Game Based on the Android Platform
    Li, Biqing
    Lai, Wenya
    Yang, Chongjun
    Zheng, Shiyong
    PROCEEDINGS OF THE 2016 2ND WORKSHOP ON ADVANCED RESEARCH AND TECHNOLOGY IN INDUSTRY APPLICATIONS, 2016, 81 : 963 - 966
  • [27] Agile Design and Implementation of a "Snake Game" Based on Android Platform
    Yu, Jiujiu
    Zhang, Jishan
    Liu, Li
    Jiang, Chao
    Wu, Ning
    Huang, Zhuqin
    PROCEEDINGS OF 2023 7TH INTERNATIONAL CONFERENCE ON ELECTRONIC INFORMATION TECHNOLOGY AND COMPUTER ENGINEERING, EITCE 2023, 2023, : 1333 - 1338
  • [28] Towards the formal verification of a C0 compiler: Code generation and implementation correctness
    Leinenbach, D
    Paul, W
    Petrova, E
    SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 2 - 11
  • [29] KERNELGEN - the design and implementation of a next generation compiler platform for accelerating numerical models on GPUs
    Mikushin, Dmitry
    Likhogrud, Nikolay
    Zhang, Eddy Z.
    Bergstrom, Christopher
    PROCEEDINGS OF 2014 IEEE INTERNATIONAL PARALLEL & DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), 2014, : 1012 - 1021
  • [30] Design, Creation and Implementation of QR's Code Virtual Observatory
    Roman Gravan, Pedro
    ATTIC-REVISTA D INNOVACIO EDUCATIVA, 2012, (09): : 96 - 107