DC Field | Value | Language |
---|---|---|
dc.contributor.author | 박상운 | ko |
dc.contributor.author | 강현구 | ko |
dc.contributor.author | 한태숙 | ko |
dc.date.accessioned | 2013-03-07T10:59:50Z | - |
dc.date.available | 2013-03-07T10:59:50Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2008-10 | - |
dc.identifier.citation | 정보과학회논문지 : 소프트웨어 및 응용, v.35, no.10, pp.636 - 652 | - |
dc.identifier.issn | 1229-6848 | - |
dc.identifier.uri | http://hdl.handle.net/10203/90010 | - |
dc.description.abstract | 본 논문에서는 업데이트 기록에 기반한 모듈단위 포인터 분석 알고리즘을 제안한다. 여기서 모듈이란 상호 재귀적인 함수들의 집합을 의미하며, 모듈단위 분석이란 한 모듈을 분석 시에 다른 모듈의 소스코드가 필요하지 않는 분석을 의미한다. 일반적으로 이러한 형태의 분석은 분석 대상 모듈의 호출 문맥을 알 수 없는 상태에서 분석을 수행하여야 하기 때문에, 프로그램의 흐름 또는 호출 문맥에 관련하여 분석의 정확도를 잃을 수 있다. 본 논문에서는 업데이트 기록이라 이름 지어진 모듈단위 분석 공간을 고안하여, 프로그램 문맥과 흐름에 민감한 정확도를 가지는 모듈단위 포인터 분석 방법을 제안한다. 업데이트 기록은 함수의 호출 문맥에 독립적으로 메모리 상태를 요약할 수 있을 뿐만 아니라, 메모리 반응이 일어난 순서에 관한 정보를 유지할 수 있다. 업데이트 기록의 이러한 특성은 모듈단위 분석을 정형화 하는데 효과적으로 사용되었을 뿐만 아니라, 분석의 정확도를 높이기 위해 죽은 메모리 반응 또는 관련된 별칭 문맥을 구분하는 데에도 효과적으로 사용될 수 있었다. | - |
dc.language | Korean | - |
dc.publisher | 한국정보과학회 | - |
dc.title | 함수 요약을 이용한 모듈단위 포인터분석 | - |
dc.title.alternative | A Modular Pointer Analysis using Function Summaries | - |
dc.type | Article | - |
dc.type.rims | ART | - |
dc.citation.volume | 35 | - |
dc.citation.issue | 10 | - |
dc.citation.beginningpage | 636 | - |
dc.citation.endingpage | 652 | - |
dc.citation.publicationname | 정보과학회논문지 : 소프트웨어 및 응용 | - |
dc.identifier.kciid | ART001286140 | - |
dc.contributor.localauthor | 한태숙 | - |
dc.contributor.nonIdAuthor | 박상운 | - |
dc.contributor.nonIdAuthor | 강현구 | - |
dc.subject.keywordAuthor | pointer analysis | - |
dc.subject.keywordAuthor | modular analysis | - |
dc.subject.keywordAuthor | bottom-up analysis | - |
dc.subject.keywordAuthor | summary | - |
dc.subject.keywordAuthor | 포인터분석 | - |
dc.subject.keywordAuthor | 모듈단위 분석 | - |
dc.subject.keywordAuthor | 상향방식 분석 | - |
dc.subject.keywordAuthor | 실행 요약 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.