DOI QR코드

DOI QR Code

정보흐름분석을 위한 BIRS의 확장

The Expansion of BIRS for Information Flow Analysis

  • 정지웅 (인하대학교 컴퓨터정보공학부) ;
  • 김제민 (인하대학교 컴퓨터정보공학부) ;
  • 김선태 (인하대학교 컴퓨터정보공학부) ;
  • 박준석 (인하대학교 컴퓨터정보공학부) ;
  • 유원희 (인하대학교 컴퓨터정보공학부)
  • Jung, Ji-Woong (Dept. of Computer Science and Information Engineering, INHA University) ;
  • Kim, Je-Min (Dept. of Computer Science and Information Engineering, INHA University) ;
  • Kim, Seon-Tae (Dept. of Computer Science and Information Engineering, INHA University) ;
  • Park, Joon-Seok (Dept. of Computer Science and Information Engineering, INHA University) ;
  • Yoo, Weon-Hee (Dept. of Computer Science and Information Engineering, INHA University)
  • 발행 : 2012.04.26

초록

프로그램에 대한 검증을 수행하기 위해서는 프로그램 안에서 여러 가지 분석이 이루어진다. 그 중에서 객체지향언어의 경우 분석을 위하여 객체지향적인 특성에 맞는 정보흐름분석을 사용해야 한다. 본 논문에서는 왜 객체지향언어의 특성에 맞는 정보흐름분석이 필요한지를 보이고, 객체지향적인 특성을 고려하지 않은 정보흐름분석 시에 어떤 문제가 생기는지 예시를 들어 설명한다. 그리고 자바의 검증도구인 BIRS(Bytecode Intermediate Representation with Specification)언어를 대상으로 하여 객체지향언어의 특성을 고려한 정보흐름분석이 가능하도록 새로운 명세를 추가하여 확장한다.

키워드