Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2017.04a
- /
- Pages.1135-1137
- /
- 2017
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
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
Abstract
본 논문은 IoT 장치에서 동작하는 가상기계의 중간코드를 LLVM IR 코드로 변환하는 코드 변환기를 설계 및 구현하였다. LLVM 인터프리터를 통해 RSIL 코드로부터 변환된 LLVM IR 코드를 실행하고, 그 결과를 비교하여 IoT 가상기계의 중간코드를 검증하였다.
Keywords