DOI QR코드

DOI QR Code

IoT 가상기계의 중간코드 검증을 위한 RSIL to LLVM IR 변환기의 설계 및 구현

A Study on RSIL to LLVM IR Translator For Verification of Intermediate Code on IoT Virtual Machine

  • 조재현 (서경대학교 컴퓨터공학과) ;
  • 최찬휘 (서경대학교 컴퓨터공학과) ;
  • 손윤식 (동국대학교 컴퓨터공학과) ;
  • 이양선 (서경대학교 컴퓨터공학과)
  • Cho, Jaehyeon (Dept of Computer Engineering, SeoKyeong University) ;
  • Choi, Chanwhi (Dept of Computer Engineering, SeoKyeong University) ;
  • Son, Yunsik (Dept of Computer Engineering, Dongguk University) ;
  • Lee, YangSun (Dept of Computer Engineering, SeoKyeong University)
  • 발행 : 2017.04.27

초록

본 논문은 IoT 장치에서 동작하는 가상기계의 중간코드를 LLVM IR 코드로 변환하는 코드 변환기를 설계 및 구현하였다. LLVM 인터프리터를 통해 RSIL 코드로부터 변환된 LLVM IR 코드를 실행하고, 그 결과를 비교하여 IoT 가상기계의 중간코드를 검증하였다.

키워드