Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2017.04a
  • /
  • Pages.1135-1137
  • /
  • 2017
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

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

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

  • 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)
  • 조재현 (서경대학교 컴퓨터공학과) ;
  • 최찬휘 (서경대학교 컴퓨터공학과) ;
  • 손윤식 (동국대학교 컴퓨터공학과) ;
  • 이양선 (서경대학교 컴퓨터공학과)
  • Published : 2017.04.27
Download PDF
⟨ Previous Next ⟩

Abstract

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

Keywords