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

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

DOI QR Code

Verification of Bytecode by Generating Verification Condition for Intermediate Language

중간언어의 VC 생성을 통한 바이트코드 검증

  • Hu, Hye-Rim (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

프로그램 신뢰성을 높이기 위한 방법 중 하나로 쓰이는 것이 명세 된 언어의 검증이다. 명세 된 언어를 검증하기 위해 소스 프로그램을 논리식으로 바꾸어 검증하는 방법을 사용한다. 소스 프로그램 뿐만 아니라 바이트코드 역시 프로그램 신뢰성을 높이기 위해서 검증이 필요하다. 본 논문에서는 바이트 코드의 검증을 위해 바이트코드의 정보를 가지고 있는 중간언어의 verification condition을 생성하는 방법을 보인다.

Keywords