Publications
Detailed Information
Buffer-overrun abstract interpretation refinement for loops by qualitative approach : 요약해석을 이용한 버퍼오버런 분석에서 루프의 분석결과를 정교화 하는 방법
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 이광근 | - |
dc.contributor.author | 오학주 | - |
dc.date.accessioned | 2010-02-09 | - |
dc.date.available | 2010-02-09 | - |
dc.date.copyright | 2007. | - |
dc.date.issued | 2007 | - |
dc.identifier.uri | http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000043922 | eng |
dc.identifier.uri | https://hdl.handle.net/10371/52460 | - |
dc.description | 학위논문(석사) --서울대학교 대학원 :전기. 컴퓨터공학부,2007. | en |
dc.format.extent | iv, 43 장 | en |
dc.language.iso | en | en |
dc.publisher | 서울대학교 대학원 | en |
dc.subject | 프로그램 분석 | en |
dc.subject | Program Analysis | en |
dc.subject | 버퍼오버런 | en |
dc.subject | Buffer-Overrun | en |
dc.subject | 허위 경보 | en |
dc.subject | False Alarm | en |
dc.subject | 요약해석 | en |
dc.subject | Abstract Interpretation | en |
dc.title | Buffer-overrun abstract interpretation refinement for loops by qualitative approach | en |
dc.title.alternative | 요약해석을 이용한 버퍼오버런 분석에서 루프의 분석결과를 정교화 하는 방법 | en |
dc.type | Thesis | - |
dc.contributor.department | 전기. 컴퓨터공학부 | - |
dc.description.degree | Master | en |
- 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.