한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2011년도 추계학술발표대회
- /
- Pages.213-215
- /
- 2011
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
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)
- 발행 : 2011.11.11
초록
프로그램에 대한 검증을 수행하기 위해서는 자료흐름을 알아야 하고, 입력된 프로그램에 대응하는 제어흐름그래프(control flow graph)가 필요하다. 이에 더하여 제어흐름 그래프를 시각화한다면 사용자 입장에서는 더 편한 프로그램이 될 것이다. 본 논문에서는 자바 프로그램의 검증도구에 사용하는 중간 표현 언어 중 하나인 BIRS(Bytecode Intermediate Representation with Specification)에 의해 생성되는 제어흐름그래프를 시각화하는 방법에 대해 제안한다.
키워드