Publications
Detailed Information
필요한 부위, 시점, 상황 선별을 통한 프로그램 전체 분석의 비용 절감 기술
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 이광근 | - |
dc.contributor.author | 오학주 | - |
dc.date.accessioned | 2019-07-02T15:44:33Z | - |
dc.date.available | 2019-07-02T15:44:33Z | - |
dc.date.issued | 2012-02 | - |
dc.identifier.other | 000000000203 | - |
dc.identifier.uri | https://hdl.handle.net/10371/156643 | - |
dc.identifier.uri | http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000000203 | ko_KR |
dc.description.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. | - |
dc.format.extent | 134 | - |
dc.language.iso | eng | - |
dc.publisher | 서울대학교 대학원 | - |
dc.subject.ddc | 621.3 | - |
dc.title | 필요한 부위, 시점, 상황 선별을 통한 프로그램 전체 분석의 비용 절감 기술 | - |
dc.type | Thesis | - |
dc.type | Dissertation | - |
dc.description.degree | Doctor | - |
dc.contributor.affiliation | 전기·컴퓨터공학부 | - |
dc.date.awarded | 2012-02 | - |
dc.identifier.holdings | 000000000006▲000000000011▲000000000203▲ | - |
- Appears in Collections:
- 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.