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

한국정보처리학회 (Korea Information Processing Society)
권호 표지
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
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

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

키워드