Publications
Detailed Information
필요한 부위, 시점, 상황 선별을 통한 프로그램 전체 분석의 비용 절감 기술
Cited 0 time in
Web of Science
Cited 0 time in Scopus
- Authors
- Advisor
- 이광근
- Major
- 전기·컴퓨터공학부
- Issue Date
- 2012-02
- Publisher
- 서울대학교 대학원
- Abstract
- In this dissertation we present general methods for achieving sound, precise, and also scalable global static analyzers. We first use the abstract interpretation framework to have a sound and precise global staic analyzer whose scalability is not yet attended. Then, we add our localization techniques to improve its scala- bility while preserving the precision and soundness of the underlying analysis. We present three localization techniques that allow the analysis to concentrate on rel- evant portions of spatial, temporal, and contextual states, respectively. The tech- niques are successfully applied to an industrial-strength C static analyzer to scale to analyze up to one million lines of C programs.
- Language
- eng
- URI
- https://hdl.handle.net/10371/156643
http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000000203
- Files in This Item:
- There are no files associated with this item.
Item View & Download Count
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.