Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2004.11a
- /
- Pages.437-440
- /
- 2004
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
Inference of Static Types for 3-Address Codes in CTOC
CTOC에서 3-주소 코드를 위한 정적 타입 추론
- Kim Ki-Tae (Dept of Computer Science & Information, Inha University) ;
-
Yoo Weon-Hee
(Dept of Computer Science & Information, Inha University)
- Published : 2004.11.01
Abstract
자바 바이트 로드 명령어는 타입에 관한 정보를 포함하고 있다. 그러나 기본적으로 스택 기반으로 동작이 수행되기 때문에 지역 변수를 위한 명시적인 타입을 가지지 않는다. 하지만 프로그램의 최적화나 역컴파일을 위해서는 지역 변수의 타입을 아는 것이 중요하다. 본 논문은 스택을 사용하지 않는 3-주소 코드에서 지역 변수를 위한 정적 타입 추론을 구현한다. 이를 위해 본 논문에서는 SSA와 방향성 그래프를 적용한다.
Keywords