Split Local Variables Using Static Single Assignment Form in CTOC

CTOC에서 정적 단일 배정문 형태를 이용한 지역 변수 분리

  • 이갑래 (김천과학대학 컴퓨터정보계열) ;
  • 유원희 (인하대학교 컴퓨터 공학부) ;
  • 김기태 (인하대학교 컴퓨터 공학부)
  • Published : 2005.06.01


CTOC(Classes To Optimized Classes) is a Java bytecode framework for optimization and analysis. Although Java bytecode has a significant amount of type information embedded in it, there are no explicit types for local variables. However, knowing types for local variables is very useful for both program optimization and analysis. This paper is a first part of CTOC framework. In this paper, we present methods for inferring static types for local variables in a 3-address, stackless, representation of Java bytecode. We use SSA Form(Single Static Assignment Form) for spliting local variables. Splited local variables will use to prepare for static type inference.


CTOC;3-address codes;Java Bytecodes;Static Single Assignments