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

한국정보처리학회 (Korea Information Processing Society)
권호 표지

CTOC에서 3-주소 코드를 위한 정적 타입 추론

Inference of Static Types for 3-Address Codes in CTOC

  • 김기태 (인하대학교 컴퓨터 정보공학과) ;
  • 유원희 (인하대학교 컴퓨터 정보공학과)
  • Kim Ki-Tae (Dept of Computer Science & Information, Inha University) ;
  • Yoo Weon-Hee (Dept of Computer Science & Information, Inha University)
  • 발행 : 2004.11.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

자바 바이트 로드 명령어는 타입에 관한 정보를 포함하고 있다. 그러나 기본적으로 스택 기반으로 동작이 수행되기 때문에 지역 변수를 위한 명시적인 타입을 가지지 않는다. 하지만 프로그램의 최적화나 역컴파일을 위해서는 지역 변수의 타입을 아는 것이 중요하다. 본 논문은 스택을 사용하지 않는 3-주소 코드에서 지역 변수를 위한 정적 타입 추론을 구현한다. 이를 위해 본 논문에서는 SSA와 방향성 그래프를 적용한다.

키워드