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

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

DOI QR Code

Visualization of Control Flow Graph for Analysis and Verification of JAVA Byte Code

자바 프로그램의 분석 및 검증을 위한 제어흐름그래프 시각화

  • Jung, Ji Woong (Dept of Computer Science Engineering, INHA University) ;
  • Kim, Je Min (Dept of Computer Science Engineering, INHA University) ;
  • Park, Joon Seok (Dept of Computer Science Engineering, INHA University) ;
  • Yoo, Weon Hee (Dept of Computer Science Engineering, INHA University)
  • 정지웅 (인하대학교 컴퓨터공학과) ;
  • 김제민 (인하대학교 컴퓨터공학과) ;
  • 박준석 (인하대학교 컴퓨터공학과) ;
  • 유원희 (인하대학교 컴퓨터공학과)
  • Published : 2011.11.11
Download PDF
⟨ Previous Next ⟩

Abstract

프로그램에 대한 검증을 수행하기 위해서는 자료흐름을 알아야 하고, 입력된 프로그램에 대응하는 제어흐름그래프(control flow graph)가 필요하다. 이에 더하여 제어흐름 그래프를 시각화한다면 사용자 입장에서는 더 편한 프로그램이 될 것이다. 본 논문에서는 자바 프로그램의 검증도구에 사용하는 중간 표현 언어 중 하나인 BIRS(Bytecode Intermediate Representation with Specification)에 의해 생성되는 제어흐름그래프를 시각화하는 방법에 대해 제안한다.

Keywords