SHERP

정적 분석에서 허위 함수 호출 사이클의 조사

Cited 0 time in webofscience Cited 0 time in scopus
Authors
유병준
Advisor
이광근
Major
공과대학 컴퓨터공학과
Issue Date
2013
Publisher
서울대학교 대학원
Keywords
프로그램 분석정적 분석요약 해석거대한 함수 호출 사이클허위 함수 호출 사이클
Description
학위논문 (석사)-- 서울대학교 대학원 : 컴퓨터공학과, 2013. 8. 이광근.
Abstract
함수 호출 관계에서 커다란 크기의 SCC(Strongly Connected Component)는 정적 분석의 속도를 낮추는 주요한 원인이다. 본 논문에서는 먼저 거대한 함수 호출 사이클이 생기는 원인을 밝힌다. 그 원인으로 가짜 실행 경로, 잡일 코드, 예외 코드를 지목한다. 특히 가짜 실행 경로로 인해 허위 함수 호출 사이클이 생성됨을 보이고, 인라이닝(Inlining) 등의 기법으로 거짓 함수 호출 관계를 제거하는 기법을 소개한다. 본 논문에서는 이를 통해 실행 의미를 보존하면서 분석 속도를 향상시킬 수 있음을 보였다.
Language
Korean
URI
http://hdl.handle.net/10371/122720
Files in This Item:
Appears in Collections:
College of Engineering/Engineering Practice School (공과대학/대학원)Dept. of Computer Science and Engineering (컴퓨터공학부)Theses (Master's Degree_컴퓨터공학부)
  • mendeley

Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.

Browse