유비쿼터스 게임 플랫폼에서 가상기계코드의 검증을 위한 SIL-to-C++ 역컴파일러의 설계 및 구현 = A Design and Implementation of the SIL-to-C++ Decompiler for Verification of a Virtual Machine Code in the Ubiquitous Game Platform

국문 초록 (Abstract)

EVM(Embedded Virtual Machine)은 유비쿼터스 게임 플랫폼을 위한 가상기계로, C++ 언어와 Java 언어등의 객체지향 언어를 수용할 수 있는 스택 기반의 임베디드 가상기계 솔루션이며, 객체지향 언어와 순차적인 언어를 모두 수용하기 위한 연산 코드의 집합으로 이루어진 SIL(Standard Intermediate Language)을 중간 언어로 사용한다. 기존의 C++ 컴파일러는 C++ 프로그램을 목적기계 코드로 변환하여 실행함으로서 플랫폼에 의존적이고 재 사용성이 떨어진다. 이와 같은 문제를 해결하기 위해 본 연구팀은 플랫폼 독립적인 중간 코드를 생성하는 C++ 컴파일러와 이 중간 코드를 입력으로 받아 실행하는 가상기계를 개발하였다.
본 논문에서는 C++ 컴파일러가 생성한 중간 코드를 C++ 프로그램으로 변환하는 SIL-to-C++ 역컴파일러(Decompiler) 시스템을 설계하고 구현하였다. 역컴파일러를 통해 컴파일러가 생성한 중간 코드가 올바르게 생성되었는지 검증할 수 있으며, 컴파일러가 올바른 중간 코드를 생성할 수 있는 환경을 제공한다. 또한, 프로그램의 의미를 어셈블리 형태의 SIL 코드에 비해 소스 레벨에서 쉽게 이해할 수 있어, 프로그램의 구조를 변경하거나 성능을 개선하는 작업을 용이하게 할 수 있다.