Publications
Detailed Information
정적 분석에서 허위 함수 호출 사이클의 조사
Cited 0 time in
Web of Science
Cited 0 time in Scopus
- Authors
- Advisor
- 이광근
- Major
- 공과대학 컴퓨터공학과
- Issue Date
- 2013-08
- Publisher
- 서울대학교 대학원
- Keywords
- 프로그램 분석 ; 정적 분석 ; 요약 해석 ; 거대한 함수 호출 사이클 ; 허위 함수 호출 사이클
- Description
- 학위논문 (석사)-- 서울대학교 대학원 : 컴퓨터공학과, 2013. 8. 이광근.
- Abstract
- 함수 호출 관계에서 커다란 크기의 SCC(Strongly Connected Component)는 정적 분석의 속도를 낮추는 주요한 원인이다. 본 논문에서는 먼저 거대한 함수 호출 사이클이 생기는 원인을 밝힌다. 그 원인으로 가짜 실행 경로, 잡일 코드, 예외 코드를 지목한다. 특히 가짜 실행 경로로 인해 허위 함수 호출 사이클이 생성됨을 보이고, 인라이닝(Inlining) 등의 기법으로 거짓 함수 호출 관계를 제거하는 기법을 소개한다. 본 논문에서는 이를 통해 실행 의미를 보존하면서 분석 속도를 향상시킬 수 있음을 보였다.
- Language
- Korean
- Files in This Item:
Item View & Download Count
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.