Annual Conference of KIPS (한국정보처리학회:학술대회논문집)

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

DOI QR Code

BIRS ; ByteCode Intermediate Representation With Specification

바이트 코드 검증을 위한 스택리스 중간표현 설계

  • Kim, Seon-Tae (Dept of Computer and Information Engineering, Inha University) ;
  • Kim, Je-Min (Dept of Computer and Information Engineering, Inha University) ;
  • Park, Joon-Seok (Dept of Computer and Information Engineering, Inha University) ;
  • Yoo, Weon-Hee (Dept of Computer and Information Engineering, Inha University)
  • 김선태 (인하대학교 컴퓨터정보공학과) ;
  • 김제민 (인하대학교 컴퓨터정보공학과) ;
  • 박준석 (인하대학교 컴퓨터정보공학과) ;
  • 유원희 (인하대학교 컴퓨터정보공학과)
  • Published : 2011.04.30
Download PDF
⟨ Previous Next ⟩

Abstract

자바는 개발환경의 편리성과 재사용성, 이식성으로 다양한 시스템 환경에서 사용한다. 그러므로 자바는 오류 없이 안전하게 실행하는 것이 중요하다. 하지만 자바 바이트 코드를 통한 자바의 안전한 실행에 대한 검증은 스택코드, 코드의 정보부족 등의 이유로 검증을 어렵게 한다. 본 논문에서는 자바 바이트코드의 문제점을 해결하여 검증을 수행하는데 적합한 중간표현 언어를 소개한다. 중간표현 언어는 스택리스코드로 구현되며, 모든 명령어의 정보를 담고 있다. 이를 통해, 자바 바이트코드를 통한 검증을 수행할 것이다.

Keywords