Publications
Detailed Information
정적 분석에서의 함수 호출 사이클 제거를 통한 C 프로그램의 분석 속도 개선 : Improving the Speed of Global Static Analysis by Removing Static Function Call Cycles in C Programs
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | 이광근 | - |
| dc.contributor.author | 허진영 | - |
| dc.date.accessioned | 2017-07-14T02:54:00Z | - |
| dc.date.available | 2017-07-14T02:54:00Z | - |
| dc.date.issued | 2014-02 | - |
| dc.identifier.other | 000000016785 | - |
| dc.identifier.uri | https://hdl.handle.net/10371/123029 | - |
| dc.description | 학위논문 (석사)-- 서울대학교 대학원 : 전기·컴퓨터공학부, 2014. 2. 이광근. | - |
| dc.description.abstract | 이 논문은 정적 분석에서 나타날 수 있는 함수 호출 사이클 제거를 통해 C 프로그램의 분석 속도를 개선하는 방법을 제시한다. 흐름을 고려한 정적 분석에서 나타나는 복잡한 함수 호출 사이클은 분석 속도에 커다란 영향을 준다. 이런 사이클을 제거하고, 흐름을 고려하지 않은 분석 결과를 이용해 분석 속도 개선하는 방법을 제시한다. 이론적으로 이 방식이 안전함을 증명하고, 실용적인 분석기 구현을 위해 일부 안전성과 정확도를 포기하는 대신 분석 속도를 평균 1.5배 정도 개선함을 실험을 통해 보인다. | - |
| dc.description.tableofcontents | 제 1 장 서론 1
1.1 동기 1 1.2 사이클의 원인 4 1.3 논문의 구성 6 제 2 장 개선 방안 7 2.1 문제 상황 7 2.2 전분석 11 2.3 해결책 12 2.4 안전성 증명 13 제 3 장 구현 및 실험 15 3.1 구현 15 3.1.1 대상 함수 호출 경로 찾기 15 3.1.2 사이클 끊기 15 3.2 실험 결과 17 제 4 장 한계 및 보완 사항 19 4.1 부정확한 주소 요약으로 인한 안전성 손실 19 4.2 최적의 함수 호출 경로 선택 20 제 5 장 결론 22 참고문헌 23 부록 23 A.1 함수 목록 24 A.2 Screen-4.0.2의 함수 목록 29 Abstract 30 | - |
| dc.format | application/pdf | - |
| dc.format.extent | 3234243 bytes | - |
| dc.format.medium | application/pdf | - |
| dc.language.iso | ko | - |
| dc.publisher | 서울대학교 대학원 | - |
| dc.subject | 정적분석 | - |
| dc.subject | 프로그램분석 | - |
| dc.subject | 요약해석 | - |
| dc.subject | 함수호출사이클 | - |
| dc.subject.ddc | 621 | - |
| dc.title | 정적 분석에서의 함수 호출 사이클 제거를 통한 C 프로그램의 분석 속도 개선 | - |
| dc.title.alternative | Improving the Speed of Global Static Analysis by Removing Static Function Call Cycles in C Programs | - |
| dc.type | Thesis | - |
| dc.description.degree | Master | - |
| dc.citation.pages | 38 | - |
| dc.contributor.affiliation | 공과대학 전기·컴퓨터공학부 | - |
| dc.date.awarded | 2014-02 | - |
- Appears in Collections:
- Files in This Item:
Item View & Download Count
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.