정보과학회 논문지 B : 소프트웨어 및 응용
Current Result Document :
| 한글제목(Korean Title) |
함수 요약을 이용한 모듈단위 포인터분석 |
| 영문제목(English Title) |
A Modular Pointer Analysis using Function Summaries |
| 저자(Author) |
박상운
강현구
한태숙
Sangwoon Park
Hyun-Goo Kang
Taisook Han
|
| 원문수록처(Citation) |
VOL 35 NO. 10 PP. 0636 ~ 0652 (2008. 10) |
한글내용
(Korean Abstract) |
본 논문에서는 업데이트 기록에 기반한 모듈단위 포인터 분석 알고리즘을 제안한다. 여기서 모듈이란 상호 재귀적인 함수들의 집합을 의미하며, 모듈단위 분석이란 한 모듈을 분석 시에 다른 모듈의 소스코드가 필요하지 않는 분석을 의미한다. 일반적으로 이러한 형태의 분석은 분석 대상 모듈의 호출 문맥을 알 수 없는 상태에서 분석을 수행하여야 하기 때문에, 프로그램의 흐름 또는 호출 문맥에 관련하여 분석의 정확도를 잃을 수 있다. 본 논문에서는 업데이트 기록이라 이름 지어진 모듈단위 분석 공간을 고안하여, 프로그램 문맥과 흐름에 민감한 정확도를 가지는 모듈단위 포인터 분석 방법을 제안한다. 업데이트 기록은 함수의 호출 문맥에 독립적으로 메모리 상태를 요약할 수 있을 뿐만 아니라, 메모리 반응이 일어난 순서에 관한 정보를 유지할 수 있다. 업데이트 기록의 이러한 특성은 모듈단위 분석을 정형화 하는데 효과적으로 사용되었을 뿐만 아니라, 분석의 정확도를 높이기 위해 죽은 메모리 반응 또는 관련된 별칭 문맥을 구분하는 데에도 효과적으로 사용될 수 있었다.
|
영문내용
(English Abstract) |
In this paper, we present a modular pointer analysis algorithm based on the update history. We use the term ‘module’ to mean a set of mutually recursive procedures and the term ‘modular analysis’ to mean a program analysis that does not need the source codes of the other modules to analyze a module. Since a modular pointer analysis does not utilize any information on the callers, it is difficult to design a precise analysis that does not lose the information related to the program flow or the calling context. In this paper, we propose a modular and flow- and context- sensitive pointer analysis algorithm based on the update history that can abstract memory states of a procedure independently of the information on the calling context and keep the information on the order of side effects performed. Such a memory representation not only enables the analysis to be formalized as a modular analysis, but also helps the analysis to effectively identify killed side effects and relevant alias contexts.
|
| 키워드(Keyword) |
포인터분석
모듈단위 분석
상향방식 분석
실행 요약
pointer analysis
modular analysis
bottom-up analysis
summary
|
| 파일첨부 |
PDF 다운로드
|
