A Study on Control Flow Analysis Using Java Bytecodes in CTOC

CTOC에서 자바 바이트코드를 이용한 제어 흐름 분석에 관한 연구

  • 유원희 (인하대학교 컴퓨터 공학부) ;
  • 김기태 (인하대학교 컴퓨터 공학부)
  • Published : 2006.01.01

Abstract

This paper describes the data structure for program analysis and optimization of bytecode level. First we create an extended CFG(Control Flow Graph). Because of the special properties of bytecode, we must adaptively extend the existing control flow analysis techniques. We build basic blocks to create the CFG and create various data that can be used for optimization. The created CFG can be tested for comprehension and maintenance of Java bytecode, and can also be used for other analyses such as data flow analysis. This paper implements CTOC's CTOC-BR(CTOC-Bytecode tRanslator) for control flow analysis of bytecode level. CTOC(Classes To Optimized Classes) is a Java bytecode framework for optimization and analysis. This paper covers the first part of the CTOC framework. CTOC-BR is a tool that converts the bytecode into tree form for easy optimization and analysis of bytecode in CTOC.

Keywords

CTOC;Java Bytecodes;CFG(Control Flow Graph)